function seleziona_tutti_gli_studenti()
	{
	//selezionare tutti i checkbox
	var check00=eval("document.azione_multipla.seleziona_tutti");	
	var check11=document.getElementsByName('checkbox_utente[]');

	for (j=0;j<check11.length;j++)
		{
		check11[j].checked=check00.checked;
		}
	
	}