// JavaScript Document
var ro;
function rollOutMenu() {
	ro = window.setTimeout(collapsemenu, 25); //milliseconds
}

function collapsemenu() {
	document.getElementById('popmenu').style.display="none";
}

function rollIntoMenu() {
	if(ro!=undefined) window.clearTimeout(ro);
}