imageon = new Image();
imageon.src = "red.gif"
imageoff = new Image();
imageoff.src = "blue.gif"
function imageOn(imageName) {
  if (document.images) {
	document[imageName].src = "../images/2_lon.gif";
  }
}
function imageOff(imageName) {
  if (document.images) {
	document[imageName].src = "../images/2_loff.gif";
  }
}

function high(which2)
{
theobject=which2
highlighting=setInterval("highlightit(theobject)",30)
}
function low(which2)
{
clearInterval(highlighting)
which2.filters.alpha.opacity=30
}
function highlightit(cur2)
{
if (cur2.filters.alpha.opacity<100)
cur2.filters.alpha.opacity+=5
else if (window.highlighting)
clearInterval(highlighting)
}