function change_img(img){
	var img_name=img.attr('id');
	var im=img_url+'/orig/'+img_name;
	$('#main_img').attr('src',im);
	var im=img_url+'/big/'+img_name;
	$('#over_img').attr('src',im);
}