var origURL = parent.window.location.href
var contentURL = origURL.substring(origURL.indexOf('?')+1, origURL.length)
if (contentURL != "print") {
passpage = document.URL
if (top.location == self.location)
top.location.href="main.html?" + passpage }
document.write('<html>');
document.write('<head>');
document.write('<meta http-equiv="content-type" content="text/html; charset=utf-8">');
document.write('<title></title>');
document.write('<link rel="icon" href="favicon.ico" type="image/x-icon" />');
document.write('<link rel="shortcut icon" href="favicon.ico" type="image/x-icon" />');
document.write('<link rel="stylesheet" type="text/css" href="javascript/styles.css">');
document.write('<script src="javascript/user_messages.js" language="javascript" type="text/javascript">document.title = manualtitle;</script>');
document.write('<script src="javascript/expander.js" language="javascript" type="text/javascript"></script>');
document.write('<script src="javascript/footer.js" language="javascript" type="text/javascript"></script>');
document.write('<script src="javascript/nav.js" language="javascript" type="text/javascript"></script>');
document.write('<script src="javascript/navlist.js" language="javascript" type="text/javascript"></script>');
document.write('</head>');