var images=new Array();

function mouseOver(img_id, img_src) {
   document.getElementById(img_id).src = img_src;
}

function preloadImages() {
	for (i=0;i<piclist.arguments.length;i++) {
		images[i]=new Image()
		images[i].src=piclist.arguments[i]
	}
}

piclist("grf/termine.jpg","grf/termine_akt.jpg","grf/aktuelles.jpg","grf/aktuelles_akt.jpg","grf/uns.jpg","grf/uns_akt.jpg","grf/kontakt.jpg","grf/kontakt_akt.jpg",
"grf/links.jpg","grf/links_akt.jpg");