function switch_img(src) {
	document.getElementById('gallery').src=src;
}// JavaScript Document