function goURL(url)
{
 window.location.href=url;
}

function menu_load(n)
{
 td = document.getElementById('menu').rows[0].cells;
 for(var i=0; i<td.length; i++)
 {
  obj = td[i];
  if(i == n) obj.className = 'hover';
  else
  {
   obj.onmouseover = function() { this.className = 'hover'; };
   obj.onmouseout  = function() { this.className = ''; };
  }
 }
}