<!--
var menuTimer;
function showProds(show){
	if(show){
		document.getElementById("prods").style.display = "";
	}else{
		document.getElementById("prods").style.display = "none";
	}
}
function startOffTimer(){
	menuTimer = self.setTimeout('showProds(false)', 500);
}
function stopOffTimer(){
	self.clearTimeout(menuTimer);
}
function on(target){
	target.className = "prodtdon";
}
function off(target){
	target.className = "prodtdoff";
}
-->