<!--
// (c) by Manfred Renner

IMG01 = "on.gif"  //image when mouse is over the link
IMG02 = "off.gif" //image when mouse isn't over the link

function imgover(imgname){
     imgname.src = IMG01
}

function imgout(imgname){
     imgname.src = IMG02
}

//-->