function displayMenu() {

	document.getElementById("menu").style.display = 'block';
	nullifyClosing = true;
}

function setToClose() {
	setTimeout("doClose()", 250);
	nullifyClosing = false;
}

function doClose() {
	if (nullifyClosing == false) {
		document.getElementById("menu").style.display = 'none';
	}
}