// JavaScript Document

document.write('<script type="text/javascript" src="js/menu.js"></script>');
document.write('<script type="text/javascript" src="js/searchform.js"></script>');