function change_img(img){
		document.myimg.src = img;
		return void(0);
	}