var timer

function CloseMenu(){
	document.getElementById("TonesMenu").style.visibility="hidden"
}

function StartTimer(){
	timer=setTimeout("CloseMenu()",1500)

}

function MaintainMenu (){
	clearTimeout(timer)
	//timer=setTimeout("CloseMenu()",1500)

}
function OpenMenu(which){
	clearTimeout(timer)
	CloseMenu()
	document.getElementById("TonesMenu").style.visibility="visible"
		
}