// JavaScript Document

function bild_tauschen(bild, tauschbild)
{
	document.images[bild].src=tauschbild;
}