rem: if (!hasSubmenu) { document.getElementById("adminConsoleApplicationSubmenu").className = "adminConsoleHidden"; } 
context: function initAdminConsole (viewAnApplication,hasSubmenu) {        if (viewAnApplication) {                switchToApplication();        } else {                switchToAdminConsole();        	document.getElementById("adminConsoleMainMenu").className = "adminConsoleHidden";        }	if (!hasSubmenu) {        	document.getElementById("adminConsoleApplicationSubmenu").className = "adminConsoleHidden";	}}
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/f27d8d16bebefeb1715ffc7ca48710f239d6bb0c/adminConsole.js/clean/www/extras/adminConsole/adminConsole.js