var hide_timeout;


function hide_all_topmenu() {
  do_hide('1');
  do_hide('2');
}

function show_div(div_num)
{
  // clear hide timeout
  clearTimeout(hide_timeout);

  // hide ALL Divs
  hide_all_topmenu();

  var topmenu_obj;
  var menu_obj;
//  var outside_obj;

  topmenu_obj=document.getElementById('menu');

  ycoord = topmenu_obj.offsetTop+24;


  var div_id = 'div_menu_' + div_num;
//  var outside_id = 'div_menu_outside_' + div_num;

  if (document.getElementById) {
    menu_obj = document.getElementById(div_id);
//    outside_obj = document.getElementById(outside_id);
  } else {
    menu_obj = document[div_id];
//    outside_obj = document[outside_id];
  }
  if (menu_obj) {
    menu_obj.style.top = ycoord + "px";
//    outside_obj.style.top = (ycoord - 2) + "px";
    menu_obj.style.visibility='visible';
//    outside_obj.style.visibility='visible';
  }



}


// When you enter a div, CLEAR the timeout that's waiting to hide it
function enter_div(div_num) {
  clearTimeout(hide_timeout);
}

// When you leave a div, SET the timeout to hide it
function leave_div(div_num) {
  hide_div(div_num);
}

// This sets a time interval to wait half-a-second before hiding it
function hide_div(div_num)
{
   hide_timeout = setTimeout("do_hide('" + div_num + "')", 500);
}


// This actually hides the DIV
function do_hide(div_num) {
    var menu_obj;
//  var outside_obj;
  var div_id = 'div_menu_' + div_num;
//  var outside_id = 'div_menu_outside_' + div_num;

  if (document.getElementById) {
    menu_obj = document.getElementById(div_id);
//    outside_obj = document.getElementById(outside_id);
  } else {
    menu_obj = document[div_id];
//    outside_obj = document[outside_id];
  }
  if (menu_obj) {
    menu_obj.style.visibility='hidden';
//    outside_obj.style.visibility='hidden';
  }

}