function change(){ alert (seite);  if (seite !="") eval ("document.images['"+seite+"'].src = 'image/braun.gif'");}
function show(img) { eval ("document.images['BILD'].src = 'image/"+img+"'");}