function swapImage(img_name,img_src) {
		document[img_name].src = img_src;		
	}

/*
	function preLoadHighlights() {
	        klosterilbenstadt = new Image(); 
	        klosterilbenstadt.src = '../../pix/maps/m1_2_2.gif';
	        langen = new Image(); 
	        klostet.src = '../../pix/maps/m1_2_2.gif';
	}
	
*/