// begin: submenu management
var lastSubmenuIds = new Array(); 
function showSubmenu(submenuId) {
	if(lastSubmenuIds.length>0){
		for(var i=0 in lastSubmenuIds)
			if(lastSubmenuIds[i]!=submenuId) finishHideSubmenu(lastSubmenuIds[i]);
		lastSubmenuIds.splice(0, lastSubmenuIds.length);
	}
	if(submenuId!=null){
		var submenu = document.getElementById(submenuId);
		if(submenu.hideTimer) clearTimeout(submenu.hideTimer);
		submenu.style.display='block';
	}
	lastSubmenuIds.push(submenuId);
}
function hideSubmenu(submenuId) {
	var submenu = document.getElementById(submenuId);
	if (submenu.hideTimer) window.clearTimeout(submenu.hideTimer)
	submenu.hideTimer = setTimeout("finishHideSubmenu('" + submenuId + "')", 500);            
}
function finishHideSubmenu(submenuId){
	document.getElementById(submenuId).style.display='none';
	lastSubmenuId = null;           
}
// end: submenu management