function swap(name , bild) {
	document.getElementById(name).src=bild
}
function bild_pop( pic , breite , hoehe ) {
	window.open( "./bild_pop.php?bild="+pic , "noone" , "width=" +breite +",height=" +hoehe );		
}