function bild_an(name) {

 if (document.images) {
 ort = document.images[name].src
 document.images[name].src = ort.substring(0,document.images[name].src.lastIndexOf("_off")) + "_on.gif" }}

function bild_aus(name) {

 if (document.images) {
 ort = document.images[name].src
 document.images[name].src = ort.substring(0,document.images[name].src.lastIndexOf("_on")) + "_off.gif" }}