function image_update(url) {
	document.getElementById('main_image').src=url;
}