// system1.0
// --------------------

// imposta variabile di controllo avvenuto caricamento
var system = 1;

// verifica avvenuto caricamento delle librerie necessarie
// -------------------------------------------------------
if (typeof(checkBrowser)=="undefined") alert("Attenzione!\n--------------\n La libreria \"system\" necessita della libreria \"checkBrowser\".");

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// system utility (inizio Codice)
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\

var page = new Object(); // ** variabile globale. Contiene le dimensioni della pagina
	page.X = 0; 
	page.Y = 0; 

function getPageSize()
{
	// --------------------------------
	// Legge le dimensioni della pagina
	// --------------------------------
	var temp = new String();
	temp = clientBrowser();
	if (temp=='netscape4.x' || temp=='netscape6.x')
	{
		page.X = window.innerWidth;
		page.Y = window.innerHeight;
	}
	else
	{
		page.X = document.body.clientWidth;
		page.Y = document.body.clientHeight;
	};
};

function getName(nameString)
{
	// -------------------------------------
	// Dato un campo di  tipo file estrapola
	// dall'intero percorso il nome del file
	// -------------------------------------
	var puntatore;
	puntatore=0;
	for (var scansione = 0; scansione < nameString.length; scansione++)
	{
		if (nameString.substring(scansione,scansione+1)=="\\" || nameString.substring(scansione,scansione+1)=="/")
		{ puntatore=scansione;}
	};
	return nameString.substring(puntatore+1,nameString.length);
};

function showPopUp(pageName, pageWidth, pageHeight)
{
	// -----------------------------------
	// Usata per aprire finestra di pop-up
	// -----------------------------------
	var posX, posY;
	var winName = new String();
	pageName=escape(pageName);
	posX = (window.screen.width/2)-50;
	posY = (window.screen.height/2)-80;
	if (pageName.indexOf(".")!=-1) winName=pageName.substring(0, pageName.indexOf("."));
	if (navigator.appName!="Netscape")
	{
		window.open( pageName, winName, "toolbar=no,scrollbars=yes,directories=no,menubar=no,width="+pageWidth+",height="+pageHeight+",left="+posX+",top="+posY+",resizable=yes" );
	}
	else
	{
		window.open( pageName, winName, "toolbar=no,scrollbars=yes,directories=no,menubar=no,width="+pageWidth+",height="+pageHeight+",screenX="+posX+",screenY="+posY+",resizable=yes" );
	};
};

function showImgPopUp(root, img, imageWidth, imageHeight, popUpTitle)
{
// -------------------------------------
// Usata  per  gli  ingrandimenti delle
// immagini   su    finestra   separata
// necessita del file "proiettore.html"
// -------------------------------------
// root = percorso della dir. js_library
// -------------------------------------
if (popUpTitle=="") popUpTitle="immagine"

	if (navigator.appName!="Netscape")
	{
		window.open( root+"proiettore.html?image="+escape(img)+"&width="+imageWidth+"&height="+imageHeight+"&title="+escape(popUpTitle), "proiettore", "toolbar=no,scrollbars=no,directories=no,menubar=no,width="+(imageWidth)+",height="+(imageHeight)+",resizable=yes" );
	}
	else
	{
		window.open( root+"proiettore.html?image="+escape(img)+"&width="+imageWidth+"&height="+imageHeight+"&title="+escape(popUpTitle), "proiettore", "toolbar=no,scrollbars=no,directories=no,menubar=no,width="+(imageWidth)+",height="+(imageHeight)+",resizable=yes" );
	};
};


function getDate()
{
// ------------------------
// Ritorna la data espressa 
// nel  formato  "aaaammgg"
// ------------------------
	var giorno = new String();
	var mese = new String();
	var anno = new String();
	var data = new Date();
	if ((data.getDate())<10) giorno = "0" + (data.getDate()).toString();
	else giorno = (data.getDate()).toString();
	if ((data.getMonth()+1)<10) mese = "0" + (data.getMonth()+1).toString();
	else mese = (data.getMonth()+1).toString();
	anno = (data.getFullYear()).toString();
	return anno+mese+giorno;
};

function getHour()
// ----------------------
// Ritorna l'ora espressa
// nel  formato  "hhmmss"
// ----------------------
{
	var ora = new String();
	var minuti = new String();
	var secondi = new String();
	var data = new Date();
	if ((data.getHours())<10) ora = "0" + (data.getHours()).toString();
	else ora = (data.getHours()).toString();
	if ((data.getMinutes())<10) minuti = "0" + (data.getMinutes()).toString();
	else minuti = (data.getMinutes()).toString();
	if ((data.getSeconds())<10) secondi = "0" + (data.getSeconds()).toString();
	else secondi = (data.getSeconds()).toString();
	return ora+minuti+secondi;
};

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// system utility (fine Codice)
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\