inc_frameset_js =
'<script language="javascript" type="text/javascript">\nif (self != top) {\n    if (document.images)\n        top.location.replace(window.location.href);\n    else\n        top.location.href = window.location.href;\n}\n</script>';

// end_var_declaration
document.write(inc_frameset_js);