function changeimg(picture) {
	document.theimg.src = picture
	}
	
function change(picture) {
	document.theimg.src = picture
	}