var varTimeOut = new Array();
function E(id){return document.getElementById(id)}
function hide(id){E(id).style.display='none'}
function show2(id){E(id).style.display=''}
function hideTimeOut(id){varTimeOut[id]=setTimeout("hide('"+id+"')", 1250)}
function showTimeOut(id){show2(id);if(varTimeOut[id])clearTimeout(varTimeOut[id])}
function show_and_hide(id){E(id).style.display=(E(id).style.display=='none')?'':'none'}
function F(id){return document.forms[id]}