stato.sort();
document.write('<option selected value="'+stato[0]+'">-</option>');
for (i=1;i<=totale_stati;i++) {
	document.write('<option value="'+stato[i]+'">'+stato[i]+'</option>');
}