/*
import all core js files
*/
document.write('<script type="text/javascript" src="/js/infoText.js"></script>');
/*document.write('<script type="text/javascript" src="/js/prototype.js"></script>');*/
document.write('<script type="text/javascript" src="/js/scriptCompressed.js"></script>');
document.write('<script type="text/javascript" src="/js/copyToPage.js"></script>');
document.write('<script type="text/javascript" src="/js/jquery-1.2.3.min.js"></script>');
document.write('<script type="text/javascript" src="/js/thickbox.js"></script>');


/*
run onload handler
*/
window.onload = function() {
	infoText('navList', 'li', false);
	if(document.getElementById('devQuickLinks')) {
		infoText('devQuickLinks', 'li', false);
	}
}