Hallo,
ich vermute, dass "documentElement" hier
nur als platzhalter dienen sollte ...
documentElement referenziert im DOM das Wurzelelement. Schreibe einfach mal alert(document.documentElement.tagName)
In einem HTML-Dokument ist es das Element html, in einem SVG-Dokument svg usw.
BTW: Die Beta von Opera 7 kennt das Objekt document.documentElement nun auch.
MfG, Thomas