function orarioMI()
	{
         var mtz=+1;
         var dst=0;
         var gmt = new Date;
         var lsm = new Date;
         var lso = new Date; 
         var mese = gmt.getMonth();
         var giorno = gmt.getDate();
         var giornosettimana = gmt.getDay();
         
         if (mese == 0 || mese == 1)  dst = 0;

         if (mese == 2 && giornosettimana == 0 && giorno+7<=31)  dst = 0;
         if (mese == 2 && giornosettimana != 0 && giorno+7-giornosettimana<=31)  dst = 0;
         if (mese == 2 && giornosettimana == 0 && giorno+7>31)  dst = 1;
         if (mese == 2 && giornosettimana != 0 && giorno+7-giornosettimana>31)  dst = 1;

         if (mese == 3 || mese == 4 || mese == 5 || mese == 6 || mese == 7 || mese == 8)  dst = 1;

         if (mese == 9 && giornosettimana == 0 && giorno+7<=31)  dst = 1;
         if (mese == 9 && giornosettimana != 0 && giorno+7-giornosettimana<=31)  dst = 1;
         if (mese == 9 && giornosettimana == 0 && giorno+7>31)  dst = 0;
         if (mese == 9 && giornosettimana != 0 && giorno+7-giornosettimana>31)  dst = 0;

         if (mese == 10 || mese == 11)  dst = 0;

	MI = new Date;
	oraMI = MI.getUTCHours();
	minMI = MI.getMinutes();
	secMI = MI.getSeconds();

        oraMI = oraMI + mtz + dst;


        if (oraMI > 23)
                oraMI = oraMI-24;
        else
                oraMI = oraMI;

        if (oraMI < 0)
                oraMI = 24-oraMI;
        else
                oraMI = oraMI;

	if (secMI < 10)
		sec0 = "0";
	else
		sec0 = "";
	if (minMI < 10)
		min0 = "0";
	else
		min0 = "";
	if (oraMI < 10)
		heure0 = "0";
	else
		heure0 = "";




	adessoMI = heure0 + oraMI + ":" + min0 + minMI + ":" + sec0 + secMI;

        return adessoMI;   

        }