var dia = new Array("schwimmbad_shot1.jpg","schwimmbad_shot2.jpg","schwimmbad_shot3.jpg","schwimmbad_shot4.jpg","schwimmbad_shot5.jpg","schwimmbad_shot6.jpg");

function wechsel(url)
{
	window.document.images.big_screen.src=url;
}