// JavaScript Document
document.write('<script type="text/javascript" src="/js/jquery142mini.js"></script>');
document.write('<script type="text/javascript" src="/js/jquery-ui-1.7.2.custom.min.js"></script>');
document.write('<script type="text/javascript" src="/js/rollover.js"></script>');
document.write('<script type="text/javascript" src="/js/iepngfix.js"></script>');
document.write('<script type="text/javascript" src="/js/facilities.js"></script>');