function changefavorite(file){
		document.getElementById('mainimage').src=file;
		//document.getElementById('mainimage').style.height='322px';
	}
	function restore_main(){ 
		document.getElementById('mainimage').src=document.getElementById('mainimage').getAttribute('original');
	}