Class type Dom_html.bodyElement

class type bodyElement = element