/*
* Funzioni javascript di base.
*/

/*
*
* 3 casi possibili:
* - l'attributo lingua è già presente nell'url;
* - l'attributo manca ma ci sono già degli attributi;
* -  non ci sono attributi nell'url.
*/
function setLingua(idLingua) 
{
	var attributo = 'lang';
	var url = document.location.href;
	
	if (url.indexOf('?') == -1) 
	{
		// Non sono ancora definiti attributi.
		url += '?' + attributo + '=' + idLingua;
	} 
	else if (url.indexOf(attributo + '=') > -1)
	{
		// contiene già l'attributo.
		var idx = url.indexOf(attributo + '=');
		var corrente = url.substr(idx, 7);
		var nuovo = attributo + '=' + idLingua;
		url = url.replace(corrente, nuovo);
	} 
	else 
	{
		// Ci sono già degli attributi ma non quello della lingua.
		url += '&' + attributo + '=' + idLingua;
	}
	
	document.location = url;
	return false;
}


function ColoraMenuLivello1(ctr)
{
	//ctr.style.backgroundColor='#9ab3ce';
	ctr.style.backgroundColor='#ffb34c';
}

function RipristinaMenuLivello1(ctr)
{
	ctr.style.backgroundColor='#5781ae';
}

function ColoraMenuLivello2(ctr)
{
	ctr.style.backgroundColor='#9ab3ce';
	backgroundImage='url(icon_menu.jpg)';
}

function RipristinaMenuLivello2(ctr)
{
	ctr.style.backgroundColor='#FFFFFF';
}

function Redirigi(url)
{
	document.location = url;
}