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