function ControlloOpzioniStampe() {
	//alert("input: " + document.getElementById("btnPrintCrystal").disabled);
	//alert("option: " + document.getElementById("StampeOpzioni").value);
	document.getElementById("btnPrintCrystal").disabled = document.getElementById("StampeOpzioni").value == 0;
}