function bildwechsel (bild , ordner)
{
	var i = bild;
	var projektordner = ordner;
//	alert (projektordner + " " + i) ;
//	alert (document.getElementById(i).width );
	document.getElementById("bild_gross").src = projektordner + "/" + i + "g.jpg";
	return;
}