function aggiustapos(){
	a=$("contenuto");
	b=$("catalogo");
//	alert(b.getStyle('height').toInt());
	if(b.getStyle('height').toInt()>a.getStyle('height').toInt()){
			a.setStyle('height',b.getStyle('height').toInt());
	}
}