| <html> | |
| <head> | |
| <title> | |
| <!-- </title> --> | |
| This text should be part of the title. | |
| </title> | |
| <script> | |
| if (window.testRunner) | |
| testRunner.dumpAsText(); | |
| window.onload = function () { | |
| document.getElementById('console').appendChild(document.createTextNode(document.title)); | |
| } | |
| </script> | |
| </head> | |
| <body> | |
| <div>The title of this document is:</div> | |
| <div id="console"></div> | |
| </body> | |
| </html> |