function hrefMouseOver(id_href, div)
  {
    window.status = document.getElementById(id_href).href;
    div.className = 'href_hover';
    return true;
  }

  function hrefMouseOut(id_href, div)
  {
    window.status = "";
    div.className = 'href';
    return true;
  }

  function hrefClick(id_href)
  {
    location = document.getElementById(id_href).href;
    return false;
  }