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