<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
-<link rel="stylesheet" href="../../js-test-resources/js-test-style.css">
<script src="../../js-test-resources/js-test-pre.js"></script>
</head>
<body onload="debug('load');finishJSTest();">
document.getElementsByTagName("head")[0].appendChild(quickly_loaded_script);
quickly_loaded_script.async = true; // Should have no effect, becaus script has already been requested.
-var successfullyParsed = true;
</script>
<script src="../../js-test-resources/js-test-post.js"></script>
</body>