Class type Dom_html.​bodyElement

class type bodyElement = element