document.write('<script src="/javascript/prototype.js" type="text/javascript"></script>');
document.write('<script src="/scriptaculous/src/scriptaculous.js?load=effects," type="text/javascript"></script>');
document.write('<script src="/javascript/cookies.js" type="text/javascript"></script>');
document.write('<script src="/javascript/nav.js" type="text/javascript"></script>');