function setTitolo(titolo)
{
	var elem = document.getElementById("titoloSezione");
	if(elem)
		elem.innerHTML = '<img src="/images/tit_'+titolo.replace(/\s/g,'-')+'.gif" title="'+titolo+'" alt="'+titolo+'" />';
}