document.write('<script type="text/javascript" src="lib/css.js"></script>');
document.write('<script type="text/javascript" src="lib/pull.js"></script>');
document.write('<script language="JavaScript1.2" src="lib/menu.js"></script>');
document.write('<script language="JavaScript1.2" src="lib/random_banner.js"></script>');
document.write('<script src="Scripts/swfobject_modified.js" type="text/javascript"></script>');