/*
<!-- Begin
function right(e) {
if (navigator.appName == 'Netscape' &&
(e.which == 3 || e.which == 2)){
		alert("tasto destro: non consentito");
		return false;
	}
else if (navigator.appName == 'Microsoft Internet Explorer' &&
(event.button == 2 || event.button == 3)) {
alert("tasto destro: non consentito");
return false;
}
return true;
}
document.onmousedown=right;
if (document.layers) window.captureEvents(Event.MOUSEDOWN);
window.onmousedown=right;
// End -->
<!--
var agt=navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_minor = parseFloat(navigator.appVersion);
var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1)
&& (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1)
&& (agt.indexOf('webtv')==-1));
var is_nav2 = (is_nav && (is_major == 2));
var is_nav3 = (is_nav && (is_major == 3));
var is_nav4 = (is_nav && (is_major == 4));
var is_nav4up = (is_nav && (is_major >= 4));
var is_navonly = (is_nav && ((agt.indexOf(";nav") != -1) ||
(agt.indexOf("; nav") != -1)) );
var is_nav5 = (is_nav && (is_major == 5));
var is_nav5up = (is_nav && (is_major >= 5));
var is_nav_old = (is_nav && (is_major < 5));
var is_ie   = (agt.indexOf("msie") != -1);
var is_ie_old  = (is_ie && (is_major < 5));
var is_ie3  = (is_ie && (is_major < 4));
var is_ie4  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")==-1) );
var is_ie4up  = (is_ie  && (is_major >= 4));
var is_ie5  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")!=-1) );
var is_ie5up  = (is_ie  && !is_ie3 && !is_ie4);
var is_aol   = (agt.indexOf("aol") != -1);
var is_aol3  = (is_aol && is_ie3);
var is_aol4  = (is_aol && is_ie4);
var is_opera = (agt.indexOf("opera") != -1);
var is_webtv = (agt.indexOf("webtv") != -1);
var is_opera = (agt.indexOf("opera") != -1);
*/
/**
 *	jsSwapFrames
 *	Funzione necessaria per cambiare contemporaneamente (con un solo click
 *	del mouse) pių pagine all'interno dei rispettivi iframe.
 *	Per ogni iframe a cui si vuole cambiare il link č necessario passare 
 *	una coppia di parametri in questo modo: 
 *	jsSwapFrames('nomedelframedacambiare', 'urldarichiamare'[, 'nomedelframedacambiare', 'urldarichiamare', ...])
 */
function jsSwapFrames()
{
	for (var jsI = 0; jsI < arguments.length; ++jsI)
	{
		window.frames[arguments[jsI]].location.href=arguments[++jsI];
	}
}

/**
 *	jsOpenWindow
 *	Funzione necessaria per aprire una finestra di pop-up.
 *	Riceve come parametro l'url da aprire nella nuova finestra.
 *	La finestra inoltre riceve il focus (viene portata in primo piano) e 
 *	posizionata al centro della pagina.
 */
function jsOpenWindow(jsURL,jsNomeFin,jsLar,jsAlt)
{
	// Dimensioni della nuova finestra in pixel
	//var jsWidth=jsLar;
	//var jsHeight=jsAlt;
	// Istruzione per aprire la finestra di pop-up
	var finestra = window.open(jsURL, jsNomeFin,
		'width='+jsLar+',height='+jsAlt+',scrollbars');
	finestra.focus();
	finestra.moveTo( (window.screen.availWidth - jsLar) / 2,
		(window.screen.availHeight - jsAlt) / 2);
}
/* questa funzione serve per riaggiornare il titolo della pagina visualizzata nel frame dx */
function jsSwapTitle()
{
	for (var jsI = 0; jsI < arguments.length; ++jsI)
	{
		window.frames[arguments[jsI]].location.href=arguments[++jsI];
	}
}

//-->