
		var timeIn;
		var timeOut;
		var lastIn;
		var lastOut;
		function toggleIn(navstr){
			if (lastIn == navstr){
				window.clearTimeout(timeOut);
			}
			lastIn = navstr;
			timeIn = window.setTimeout(function() {
				document.getElementById(navstr).style.display='block';
				document.getElementById(navstr+'nav').style.backgroundImage= 'url(/images2/nav_'+navstr+'_hover.jpg)';
			}, 200);
		}
		function toggleOut(navstr){
			if (lastOut == navstr){
				window.clearTimeout(timeIn);
			}
			lastOut = navstr;
			timeOut = window.setTimeout(function() {
				document.getElementById(navstr).style.display='none';
				document.getElementById(navstr+'nav').style.backgroundImage= 'url(/images2/nav_'+navstr+'.jpg)';
			}, 200);
		}