<!--
function change(tausch_bild_name,neues_bild_name)
{
window.document[tausch_bild_name].src="fileadmin/Content/Beispiele/"+neues_bild_name+".gif";
}
//-->