<!--
// (c) by Manfred Renner
IMG01 = "img/on.gif"
IMG02 = "img/blank.gif"
function imgover(imgname){
imgname.src = IMG01
}
function imgout(imgname){
imgname.src = IMG02
}
//-->