var timeout=350;
var closetimer=0;
var prodmenu=0;
function prodmenu_open() { cancelclosetime(); prodmenu = document.getElementById('prodmenu'); if(prodmenu) prodmenu.style.visibility = 'visible'; }
function prodmenu_close() { if (prodmenu) prodmenu.style.visibility = 'hidden'; }
function closetime() { closetimer = window.setTimeout(prodmenu_close, timeout); }
function cancelclosetime() { if(closetimer) { window.clearTimeout(closetimer); closetimer = null; } }
document.onclick = prodmenu_close;