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 += "(Il link apre una nuova finestra)";
				if (!anchor.title) anchor.title = "Il link apre una nuova finestra";
			}
		}
	}
	
	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);
	}