// JavaScript Document
function aggiornaMansioni() {
	document.form1.HF1.value = 1;
	document.form1.submit();
}

function creaLista() {
	document.form1.HF1.value = 2;
	document.form1.submit();
}