function PHP_Unserialize(input)
    {
        var result = PHP_Unserialize_(input);
	if (InManutenzione(result)==false) 
	  return result[0];
	// else (alert("ECCOCI!"));
    }
function InManutenzione(risposta)
{
    //  alert(printArray(risposta));
      var giunto = new Array();
      giunto = risposta[0];
      if (is_array(giunto))
	giunto = giunto["siv"];
   //   alert(printArray(giunto));
      if (is_array(giunto) && giunto["sitoinmanutenzione"] && (giunto["sitoinmanutenzione"]=="1" || giunto["sitoinmanutenzione"]==1))
      {
//	  alert(printArray(giunto));
	  info="<DIV class='nero' align='center' style=' margin-bottom: 10%; margin-left: 3%;  margin-right: 3%;   padding-top:30px;'><table  align=center style='margin:10px;' border=\"0\" cellspacing=0 cellpadding=4 >\
			      <tr><td align=center  style=\" background-color:#000000;\"><b><font color=\"#FFFFFF\" size=\"3\">";
	  info+=" <center><br><br><img  src=\"images/lavori-in-corso.jpg\" border=0></center><h3><center><br><br><font color=\"yellow\" size=\"3\"><b>Il sito attualmente risulta in manutenzione.</font><br> <a href="+homebase+" target="+doveC+"><font color=\"yellow\" size=\"3\">CLICCA QUI </font></a><font color=\"yellow\" size=\"3\"> per uscire.</font></center>\
		</h3><br><font color=\"#FFFFFF\" size=\"3\">Il disagio dovrebbe essere momentaneo.<br> Se persiste contattate l'assistenza.<br><br></font> ";
	  info+="</font></b></td></tr>";
	  info+="</table></div>";
	  dok2=document.getElementById('display_list');
	  dok2.innerHTML=(info);
	  Svuota("login");
	  Mostra("display_list");
	  return true;
      }
      if (is_array(giunto) && giunto["id"] && giunto["id"]!=undefined)
      {
	 var doc=document.getElementById("ID_SIV");
	 if (!doc || doc==undefined || doc=='undefined')
	    doc=parent.document.getElementById("ID_SIV");
	 if (doc && doc!=undefined)
	    doc.value = (giunto["id"]); 
      }	
    //  else alert("Tutto OK");
      return false;
}

    /**
    * Function which performs the actual unserializing
    *
    * @param string input Input to parse
    */
    function PHP_Unserialize_(input)
    {
        var length = 0;
        switch (input.charAt(0)) {
            /**
            * Array
            */
            case 'a':
                length = PHP_Unserialize_GetLength(input);
                input  = input.substr(String(length).length + 4);

                var arr   = new Array();
                var key   = null;
                var value = null;

                for (var i=0; i<length; ++i) {
                    key   = PHP_Unserialize_(input);
                    input = key[1];

                    value = PHP_Unserialize_(input);
                    input = value[1];

                    arr[key[0]] = value[0];
                }

                input = input.substr(1);
                return [arr, input];
                break;
            
            /**
            * Objects
            */
            case 'O':
                length = PHP_Unserialize_GetLength(input);
                var classname = String(input.substr(String(length).length + 4, length));
                
                input  = input.substr(String(length).length + 6 + length);
                var numProperties = Number(input.substring(0, input.indexOf(':')))
                input = input.substr(String(numProperties).length + 2);

                var obj      = new Object();
                var property = null;
                var value    = null;

                for (var i=0; i<numProperties; ++i) {
                    key   = PHP_Unserialize_(input);
                    input = key[1];
                    
                    // Handle private/protected
                    key[0] = key[0].replace(new RegExp('^\x00' + classname + '\x00'), '');
                    key[0] = key[0].replace(new RegExp('^\x00\\*\x00'), '');

                    value = PHP_Unserialize_(input);
                    input = value[1];

                    obj[key[0]] = value[0];
                }

                input = input.substr(1);
                return [obj, input];
                break;

            /**
            * Strings
            */
            case 's':
                length = PHP_Unserialize_GetLength(input);
                return [String(input.substr(String(length).length + 4, length)), input.substr(String(length).length + 6 + length)];
                break;

            /**
            * Integers and doubles
            */
            case 'i':
            case 'd':
                var num = Number(input.substring(2, input.indexOf(';')));
                return [num, input.substr(String(num).length + 3)];
                break;
            
            /**
            * Booleans
            */
            case 'b':
                var bool = (input.substr(2, 1) == 1);
                return [bool, input.substr(4)];
                break;
            
            /**
            * Null
            */
            case 'N':
                return [null, input.substr(2)];
                break;

            /**
            * Unsupported
            */
            case 'o':
            case 'r':
            case 'C':
            case 'R':
            case 'U':
                alert('Error: Unsupported PHP data type found!');

            /**
            * Error
            */
            default:
                return [null, null];
                break;
        }
    }
    

    /**
    * Returns length of strings/arrays etc
    *
    * @param string input Input to parse
    */
    function PHP_Unserialize_GetLength(input)
    {
        input = input.substring(2);
        var length = Number(input.substr(0, input.indexOf(':')));
        return length;
    }