// JavaScript Document
function ridimensiona_immagine(campo){
	var altezza = 100;
	var larghezza = 250;
	var immagine = new Image();
	immagine.src = campo.src;
	immagine.refresh;
	
	var x=parseInt(immagine.width);
	var y=parseInt(immagine.height);

	if(x>y){
		if(x>larghezza){
			y*=larghezza/x;
			x=larghezza;
		}else if(y>altezza){
			x*=altezza/y;
			y=altezza;
		}
	}//else{
		if(y>altezza){
			x*=altezza/y;
			y=altezza;
		}else if(x>larghezza){
			y*=larghezza/x;
			x=larghezza;
		}
	//}
	
	campo.style.width=parseInt(x);
	campo.style.height=parseInt(y);
}