function show(id) {
	  hideall();
	  element = document.getElementById(id);
	  setTimeout("setDisplay(element, 'block')", 100);
	}

    function setDisplay(element, type) {
	  element.style.display = type;
	}
	
	function hide(id) {
	  element = document.getElementById(id);
	  timeout = setTimeout("setDisplay(element, 'none')",100);
	  //setDisplay(element, 'none');
	}
	
	function hideall() {
	  setDisplay(document.getElementById('facilitiespopup'),'none');
	  setDisplay(document.getElementById('labspopup'),'none');
	  setDisplay(document.getElementById('researchpopup'),'none');
	}
	
	function stay() {
	  if (timeout) { clearTimeout(timeout); }	  
	}