function CambiaStile(stile) {
	document.getElementById("stile").value = stile ;
	document.getElementById("f1").submit() ;
}