<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" id="html">
<body>
<body id="body">
<script type="text/javascript">
if (window.testRunner)
    testRunner.dumpAsText();
if (document.getElementById("html") == document.documentElement)
    document.write("<p>Hooray, it worked! Since getElementById found the HTML element, its ID presumably was added to the ID map correctly.</p>");
if (document.getElementById("body").parentNode == document.documentElement)
    document.write("<p>Hooray, it worked! Since getElementById found the body element, its ID presumably was added to the ID map correctly.</p>");
</script>
</body>
</html>