// Funzione che ridireziona al portale indicato
function redir_port(portal)
{
     location.href = portal[portal.selectedIndex].value;
}
// Funzione per selezionare tutti i ceckbox in risultato tom tom
function select_all_tt() {
var f= document.tt_form.elements;
	for(var i=0; i<f.length; i++)
	{
		if(f[i].type=="checkbox")
		f[i].checked=true;
	}
} 
// Funzione per deselezionare tutti i ceckbox in risultato tom tom
function deselect_all_tt() {
var f= document.tt_form.elements;
	for(var i=0; i<f.length; i++)
	{
		if(f[i].type=="checkbox")
		f[i].checked=false;
	}
}