function high(which)
  {theobject=which
   highlighting=setInterval("highlightit(theobject)",50)
  }
function low(which)
  {clearInterval(highlighting)
   which.filters.alpha.opacity=70
  }
function highlightit(cur)
  {if (cur.filters.alpha.opacity<100)
      cur.filters.alpha.opacity+=10
   else if (window.highlighting)
      clearInterval(highlighting)
  }