var g_oToHide = null;
function showdiv(divname){
  document.getElementById(divname).style.display = 'inline';
  if ((g_oToHide)&&(g_oToHide ==divname))
    g_oToHide = null;
}

function hideit(){
  if (g_oToHide) 
    document.getElementById(g_oToHide).style.display="none";
}             

      
function hidediv(divname){
  g_oToHide = divname;
  window.setTimeout(hideit,80);
}