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