currentMenuId = "op_home";
function setMenuSel(menuId) {	
	var menu = document.getElementById(menuId);
	if(menu)
		menu.className="current";
	if(currentMenuId != menuId)
	{	
		var currentMenu = document.getElementById(currentMenuId);
		if(currentMenu)
			currentMenu.className="";	
		currentMenuId = menuId;
	}
}