<?php header("Cache-Control: max-age=3600");
return <<<EOF
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html>
<head>
<title></title>
<script type="text/javascript">
var state_load_attempts = 0;
function state_onload()
{
if (state_load_attempts < 30)
{
state_load_attempts++;
if (parent.it_state && parent.it_state.ready)
parent.setTimeout(parent.it_state_restore_history, 1);
else
window.setTimeout(state_onload, 90);
}
window[(document.all?'onbeforeunload':'onunload')] = state_onbeforeunload;
}
function state_onbeforeunload()
{
if (parent.it_state && !parent.it_state.it_state_saved)
parent.it_state.store_state();
}
</script>
</head>
<body onload="state_onload()"><form action="/itjs/state.html" method="get"><input type="hidden" id="state" name="s" value=""></form></body>
</html>
EOF
?>