<!DOCTYPE html>
<html>
<head>
<title>postMessage throwing page</title>
<script type="application/javascript">
function receiveMessage(evt)
{
throw 17;
}
window.addEventListener("message", receiveMessage, false);
function setup()
{
var target = document.getElementById("location");
target.textContent = location.hostname + ":" + (location.port || 80);
}
window.addEventListener("load", setup, false);
</script>
</head>
<body>
<h1 id="location">No location!</h1>
</body>
</html>