function change_text(titolo)
{
	if(titolo=="")
	{
		document.getElementById('riga_titolo').style.display=''
	}
	else
	{
		document.getElementById('riga_titolo').style.display=''
	}
	document.getElementById('titolo').innerHTML=titolo;
}