function swap_image(theurl) {
	document.getElementById('imglarge').src = theurl;
}
function swap(theurl, textwechsel) {
	document.getElementById('imglarge').src = theurl;
	document.getElementById('content').innerHTML=textwechsel; 
}