<!--
    a01=new Image(8,23); a01.src="/images/nav_off.gif";
    a02=new Image(8,23); a02.src="/images/nav_on.gif";

function changeImage(imageName, newImageSRC)
{
  document.images[imageName].src = newImageSRC
}


//-->