// JavaScript Document

function change(tausch_bild_name,neues_bild_name)
{
window.document[tausch_bild_name].src="img/"+neues_bild_name+".jpg";
}