if (parent != self)
top.location.href = location.href;

/*
   Original:  Eric King (eric_andrew_king@hotmail.com) 
   Web Site:  http://redrival.com/eak/

   This script and many more are available free online at
   The JavaScript Source!! http://javascript.internet.com

   This script was modified by CoD, adding multilanguage 
   support for DOMuS implementation.
*/


function externalLinks() {
/*
	Inserts target attribute in xhtml anchors
*/
	if (!document.getElementsByTagName) return;
	var anchors = document.getElementsByTagName("a");
	for (var i=0; i<anchors.length; i++) {
		var anchor = anchors[i];
		if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "esterno") {
			anchor.target = "_blank";
			if (anchor.title) anchor.title += ' (Le lien ouvre une nouvelle fenêtre)';
			if (!anchor.title) anchor.title = 'Le lien ouvre une nouvelle fenêtre';
		}
	}
}

window.onload = function() {
	externalLinks(); // Per i links, vedi sopra.
}

function NewWindow(target_file, parameters) {
/*
	Opens target in a new window (used in buttons)
*/
	window.open(target_file,"_blank", parameters);
}

function ShowHide(ElementName) {
/*
	Toggles visibility of the given element
*/
	var objEl = document.getElementById(ElementName);
	if (objEl.style.display == "none")
	{
		objEl.style.display = "block";
	}
	else
	{
		objEl.style.display ="none";
	}
}