function bg(menu){
  menu.src='img/blue_arrow.gif';
  }
function unbg(menu){
  menu.src='img/arrow.gif';
  }
  
function high(which2){
  theobject=which2
  highlighting=setInterval("highlightit(theobject)",40)
  }
function low(which2){
  clearInterval(highlighting)
  which2.filters.alpha.opacity=40
  }
function highlightit(cur2){
  if (cur2.filters.alpha.opacity<100)
  cur2.filters.alpha.opacity+=10
  else if (window.highlighting)
  clearInterval(highlighting)
  }