var timeoutVar;
function timeoutMenu(){
	document.getElementById('readcats').style.display='none';
}
function makeMenuTimeout(){
	timeoutVar=window.setTimeout('timeoutMenu();',500);
}
function killTimeout(){
	clearTimeout(timeoutVar);
}