menus = new Array("subCurrentDevInt");
menuStylesOff = new Array("CurrentDevIntOff");
menuStylesOn = new Array("CurrentDevIntOn");

function turnOffmenus(menus,menuStylesOff) {

var limit = menus.length;


for(x=0;x<limit;x++){
	document.getElementById(menus[x]).className=menuStylesOff[x];	
	}


}
function showMenu(menu,menus,menuStylesOn) {
	document.getElementById(menus[menu]).className=menuStylesOn[menu];	
}