package def.dom;
public class HTMLMapElement extends HTMLElement {
    /**
      * Retrieves a collection of the area objects defined for the given map object.
      */
    public HTMLAreasCollection areas;
    /**
      * Sets or retrieves the name of the object.
      */
    public String name;
    public static HTMLMapElement prototype;
    public HTMLMapElement(){}
}

