function swap_image(theurl) {
	document.getElementById('imglarge').src = theurl; 
}