| <!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> |
