function obMenu_show() {	
	var menu = document.getElementById('ob_menu_Layer'); 
	var args = obMenu_show.arguments;

	if (args[0]) {
		menu.style.visibility = 'visible';
	} else { 
		menu.style.visibility = 'hidden';				
	}
}
/*
function highlighter(obj,args) {
	obj = document.getElementById(obj); 
	if (args)
		obj.style.bgcolor = 'orange';
	else ;
}*/