var active_menu = null;
 var old_menu = null;
 var timer = null;
 var delay = 500;

 function show_div(div_id){
  if(old_menu != null){ old_menu.style.display = "none"; old_menu = null;}
  if(timer != null) stop_hide();
  obj = document.all[div_id];
  active_menu = obj;
    
  x = event.clientX - event.offsetX; 
  y = event.clientY - event.offsetY; 
  obj.style.left = 20;
  obj.style.top  = 230;
  obj.style.display = "block";
 }
 
 function hide_div(div_id){
   old_menu = document.all[div_id];
   timer = setTimeout("hide()",delay);
 }

 function hide(){
//  obj = document.all[div_id];
  active_menu.style.display = "none";
 }

 function stop_hide(){
  clearTimeout(timer);
  timer = null;
 }