// JavaScript Document
ie=(document.all)? true:false;
ns=(document.getElementById)? true:false;


function high(wh){
  if(ie){
  theobject=wh;
  wh.filters.alpha.opacity=15;
  highlighting=setInterval("highlightit(theobject)",1);
  }
}
function low(wh){
  if(ie){
  clearInterval(highlighting);
  wh.filters.alpha.opacity=100;
  }
}
function highlightit(cur2){
  if (cur2.filters.alpha.opacity<100) cur2.filters.alpha.opacity+=5;
  else if (window.highlighting) clearInterval(highlighting);
}