var hide_timeout;

function set_bg(in_num) {
  var div_id='nav_item' + in_num;
  div_obj =  document.getElementById(div_id);
  if (div_obj) {
  	div_obj.style.backgroundImage="url(./images/left_blue.gif)";
  }
}


function remove_bg(in_num) {
  var div_id='nav_item' + in_num;
  div_obj =  document.getElementById(div_id);
  if (div_obj) {
  	div_obj.style.backgroundImage="";
  }
}


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 divids=new Array();
  divids[1]='nav_item2';
  divids[2]='nav_item5';

  var div_id = 'div_menu_' + div_num;
  var topmenu_id = divids[div_num];

  if (document.getElementById) {
    div_obj = document.getElementById(div_id);
    topmenu_obj = document.getElementById(topmenu_id);
  } else {
    div_obj = document[div_id];
    topmenu_obj = document[topmenu_id];
  }
  if (div_obj) {
    div_obj.style.visibility='visible';
    topmenu_obj.className = topmenu_id + "_current";
  }



}


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

  var divids=new Array();
  divids[1]='nav_item2';
  divids[2]='nav_item5';

  div_id = divids[submenu_num];
  obj = document.getElementById(div_id);
  obj.className = div_id + "_current";

}

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

  var divids=new Array();
  divids[1]='nav_item2';
  divids[2]='nav_item5';

  div_id = divids[submenu_num];
  obj = document.getElementById(div_id);
  obj.className=div_id;
}

// 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 + "')", 250);
}


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

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

}