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