// JavaScript Document 
image1=new Image();
	    image1.src='/images/der_verein_over.gif';
	    image2=new Image();
	    image2.src='/images/das_dirigent_over.gif';
	    image3=new Image();
	    image3.src='/images/der_repertoire_over.gif';
	    image4=new Image();
	    image4.src='/images/agenda_over.gif';