@@ -1195,7 +1195,7 @@ var w3c_slidy = {
1195 var doc = document.getElementById("historyFrame").contentWindow.document;
1195 var doc = document.getElementById("historyFrame").contentWindow.document;
1196 doc.open("javascript:'<html></html>'");
1196 doc.open("javascript:'<html></html>'");
1197 doc.write("<html><head><script type=\"text/javascript\">window.parent.w3c_slidy.on_frame_loaded('"+
1197 doc.write("<html><head><script type=\"text/javascript\">window.parent.w3c_slidy.on_frame_loaded('"+
1198− (hash) + "');</script></head><body>hello mum</body></html>");
1198+ (hash) + "');\74/script></head><body>hello mum</body></html>");
1199 doc.close();
1199 doc.close();