// JavaScript Document
document.write('<script type="text/javascript" src="../java/travel.js"></script>'); 
document.write('<script type="text/javascript" src="../java/customer.js"></script>'); 
document.write('<script type="text/javascript" src="../java/smartRollover.js"></script>'); 
document.write('<script type="text/javascript" src="../java/listmenu.js"></script>');