document.write('<script type="text/javascript" src="./js/prototype.js?r7140"></script>');
document.write('<script type="text/javascript" src="./js/is_tabs.js"></script>');
document.write('<script type="text/javascript" src="./js/Selection.js?r7140"></script>');
document.write('<script type="text/javascript" src="./js/pne.js"></script>');
document.write('<script type="text/javascript" src="./js/exmenu.js"></script>');
document.write('<script type="text/javascript" src="./js/msg.js"></script>');
document.write('<script type="text/javascript" src="./js/cookiemanager.js"></script>');
document.write('<script type="text/javascript" src="./js/form.js"></script>');
document.write('<script type="text/javascript" src="./js/effects.js"></script>');
document.write('<script type="text/javascript" src="./js/slide-bar.js"></script>');