var omtime = 0;
function showovermenu(omid) {
	window.clearTimeout(omtime);
	document.getElementById(omid).style.display = 'block';
}
function hideovermenu(omid) {
	omtime = window.setTimeout("realhideovermenu('"+ omid +"')", 500);
}
function nohideovermenu() {
	window.clearTimeout(omtime);
}
function realhideovermenu(omid) {
	document.getElementById(omid).style.display = 'none';
}