3 <script type="text/javascript">
5 function notifyAjaxLinkHandler() {
6 var url = document.body.innerHTML;
7 if (window.parent.linkHandler && url)
8 window.parent.linkHandler.ie_loadHistory(document.body.innerHTML);
13 <body onload="notifyAjaxLinkHandler();">%s</body></html>''' % url