interface HTMLDocument : Document {
 /* IID: { 0xa6cf9084, 0x15b3, 0x11d2, \
  { 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */

            attribute  DOMString            title;
   readonly attribute  DOMString            referrer;
            attribute  DOMString            domain;
   readonly attribute  DOMString            URL;
            attribute  HTMLElement          body;
   readonly attribute  HTMLCollection       images;
   readonly attribute  HTMLCollection       applets;
   readonly attribute  HTMLCollection       links;
   readonly attribute  HTMLCollection       forms;
   readonly attribute  HTMLCollection       anchors;
            attribute  DOMString            cookie;

   noscript void             open();
   void                      close();
   noscript void             write(in DOMString text);
   noscript void             writeln(in DOMString text);
   Element                   getElementById(in DOMString elementId);
   NodeList                  getElementsByName(in DOMString elementName);
 };

   interface NSHTMLDocument {
 /* IID: { 0xa6cf90c5, 0x15b3, 0x11d2, \
  { 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */

     attribute wstring alinkColor;
     attribute wstring linkColor;
     attribute wstring vlinkColor;
     attribute wstring bgColor;
     attribute wstring fgColor;
     readonly attribute wstring lastModified;

     readonly attribute HTMLCollection embeds;
     readonly attribute HTMLCollection plugins;

     wstring getSelection();
     Element namedItem(in wstring name);

     void                      open(/* ... */);
     void                      write(/* ... */);
     void                      writeln(/* ... */);
     void                      clear(/* ... */);

     void captureEvents(in long eventFlags);
     void releaseEvents(in long eventFlags);
     void routeEvent(in Event evt);
   };