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