function change (pic) {
	document.getElementById('home_picture').src = "/media/" + pic;
}
function change_navi (ref, pic) {
	ref.src = "/media/" + pic;
}
function change_gal (pic) {
	document.getElementById('picture_img').src = pic;
}
function show (element) {
	document.getElementById(element).style.visibility = "visible";
}
function wclose (element) {
	document.getElementById(element).style.visibility = "hidden";
}
function changepic (pic) {
	document.getElementById('tv_img').src = "/media/platz" + pic + ".jpg";
	if(pic == 5)
		window.setTimeout("changepic(1)", 5000);
	else
		window.setTimeout("changepic(" + (pic + 1) + ")", 5000);
}