document.menutimer = new Array();

function showMenu(ID) {
	window.clearTimeout(document.menutimer[ID]);
	document.getElementById('menu'+ID).style.display = 'block';
}

function startRemove(ID) {
	document.menutimer[ID] = window.setTimeout("removeMenu("+ID+")", 10000);
}

function removeMenu(ID) {
	document.getElementById('menu'+ID).style.display = 'none';
}