function init_rollovers()
  { // ich möchte das Menu aus dem Dokument haben
    var menu = document.getElementById('nav');
    // aus dem Menu möchte ich die Liste aller img-Tags
	var bildliste = menu.getElementsByTagName('img');
	// vom 1. bis zum letzten image tag in dieser Liste
	for ( nummer = 0;                // start beim 0. Bild
	      nummer < bildliste.length; // in bildliste.length steht die Anzahl der Bilder
		  nummer += 1 )              // jeweils um 1 erhöhen
	  { // setze eine Funktion für rollover
	    bildliste[nummer].onmouseover=over;
	    // und setze eine Funktion für rollout
		bildliste[nummer].onmouseout=out;
	  }
  }

function over()
  { this.src= this.src.replace('_0.','_1.'); }
function out()
  { this.src= this.src.replace('_1.','_0.'); }
    
onload=init_rollovers;