interface Notation : Node { /* IID: { 0xa6cf907e, 0x15b3, 0x11d2, \ { 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */ readonly attribute DOMString publicId; readonly attribute DOMString systemId; };