/***************
     *  revisione  *
     ***************/

        // 03-04-2006 v1.0 Fabio Mosti
	//            * inizio conteggio delle relase e tracciatura delle modifiche
        // 03-05-2006 v1.1 Fabio Mosti
	//            * correzione della cartella 'Grafica' in '_grafica' in tutte le funzioni
	//            * eliminati i riferimenti a colore e versione in showhide_folder()

    function prova()
	{
	    document.write ("it worked!");
	}

    function showhide(sec,lev)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);

	    //precarica l'immagine del piu'
	    plus = new Image();
	    plus.src = lev + "_grafica/menu-a-scomparsa-plus.gif";
	    // precarica l'immagine del meno
	    minus = new Image();
	    minus.src = lev + "_grafica/menu-a-scomparsa-minus.gif";

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
		    // ...e trasforma il pulsante in piu'
		    document ["img-" + sec].src = plus.src;
	        }
	    else
		//altrimenti
	        {
		    // mostra la sezione...
		    sectionid.style.display='';
		    // ...e trasforma il pulsante in meno
		    document ["img-" + sec].src = minus.src;
	        }
	}

    function showhide_folder(sec,lev)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);

	    //precarica l'immagine del piu'
	    plus = new Image();
	    plus.src = lev + "_grafica/fs-cartella-chiusa.gif";
	    // precarica l'immagine del meno
	    minus = new Image();
	    minus.src = lev + "_grafica/fs-cartella-aperta.gif";

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
		    // ...e trasforma il pulsante in piu'
		    document ["img-" + sec].src = plus.src;
	        }
	    else
		//altrimenti
	        {
		    // nascondi la sezione...
		    sectionid.style.display='';
		    // ...e trasforma il pulsante in meno
		    document ["img-" + sec].src = minus.src;
	        }
	}

    function enhancedShowHide(sec,img1,img2)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);

	    //precarica l'immagine del piu'
	    plus = new Image();
	    plus.src = "../_grafica/" + img1;
//	    plus.src = "Grafica/folder-2v0.png";
	    // precarica l'immagine del meno
	    minus = new Image();
	    minus.src = "../_grafica/" + img2;
//	    minus.src = "Grafica/folder-open-2v0.png";

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
		    // ...e trasforma il pulsante in piu'
		    document ["img-" + sec].src = plus.src;
	        }
	    else
		//altrimenti
	        {
		    // nascondi la sezione...
		    sectionid.style.display='';
		    // ...e trasforma il pulsante in meno
		    document ["img-" + sec].src = minus.src;
	        }
	}

    function showhide_textonly(sec)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
	        }
	    else
		//altrimenti
	        {
		    // nascondi la sezione...
		    sectionid.style.display='';
	        }
	}

    function showhide_cross(sec,sec2)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);
	    var sectionid2 = document.getElementById(sec2);

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
		    sectionid2.style.display='';
	        }
	    else
		//altrimenti
	        {
		    // nascondi la sezione...
		    sectionid.style.display='';
		    sectionid2.style.display='none';
	        }
	}

    function showhide_switch(sec,sec2)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);
	    var sectionid2 = document.getElementById(sec2);

	    // nascondi la sezione...
	    sectionid.style.display='none';
	    sectionid2.style.display='';
	}

    function double_showhide_textonly(sec)
	{
	    // ricava l'id della sezione
	    var sectionid = document.getElementById(sec);
	    var sectionid2 = document.getElementById(sec + '2');

	    if (sectionid.style.display == '')
		// se la sezione e' gia' espansa
	        {
		    // nascondi la sezione...
		    sectionid.style.display='none';
		    sectionid2.style.display='none';
	        }
	    else
		//altrimenti
	        {
		    // nascondi la sezione...
		    sectionid.style.display='';
		    sectionid2.style.display='';
	        }
	}

    /*
    * This function will not return until (at least)
    * the specified number of milliseconds have passed.
    * It does a busy-wait loop.
    */
    function pause(numberMillis) {
        var now = new Date();
        var exitTime = now.getTime() + numberMillis;
        while (true) {
            now = new Date();
            if (now.getTime() > exitTime)
                return;
        }
    }