window.defaultStatus = "Benvenuti nel nostro sito web!"
      
      if (navigator.userAgent.indexOf("Opera") != -1)
                     browser = "Opera";
         else if (navigator.appName.indexOf("Microsoft") != -1)
                     browser = "Microsoft";
            else if (navigator.appName.indexOf("Netscape") != -1)
                        browser = "Netscape";
                     
                        
                     
      
      function gira()
      {
       orologio();
       timerID = setTimeout("gira()",1000);
      } 
      function orologio()
      {
         visua = new String("");
         orario = new Date();
         secs = orario.getSeconds();
         mins = orario.getMinutes();
         hr = orario.getHours();
         document.forms['angelo'].ora.value = visua.concat(hr<10?"0":"", hr,":",mins<10?"0":"",mins,":",secs<10?"0":"",secs);
      }