<!-- Original:  (mrenner@rst.de) -->

<!-- Begin
function imgover(imgname){
imgname.src = "graphics/on.gif"
}
function imgalt(imgname){
imgname.src = "graphics/on_alt.gif"
}
function imgtwo(imgname){
imgname.src = "graphics/onx.gif"
}
function imgout(imgname){
imgname.src = "graphics/off.gif"
}
// End -->