// (c) by Manfred Renner

IMG01 = "../media/arrow.gif"  //image when mouse is over the link
IMG02 = "../media/dottrans.gif" //image when mouse isn't over the link


function imgover(imgname){
     imgname.src = IMG01
}

function imgout(imgname){
     imgname.src = IMG02
}