function change(nr)
{
	var src, alt;
	src = document.getElementById(nr).getAttribute("src");
	alt = document.getElementById(nr).getAttribute("alt");
	src = src.replace(/_klein/, "_gross");
	
	document.getElementById("grossbild").setAttribute("alt", alt);
	document.getElementById("grossbild").setAttribute("src", src);
}