<!--
function printScriptsAvailable() {

document.write('<script language=\"javascript\" src=\"scripts/pageElementsLib.js\"></script>');
document.write('<script language=\"javascript\" src=\"scripts/leftmenuLib.js\"></script>');
document.write('<script language=\"javascript\" src=\"scripts/appLibrary.js\"></script>');
} 
// -->
