// javascript per il riconoscimento dei browser

function browser_info(info_type) {

	var useragent = navigator.userAgent;
	var bName = (useragent.indexOf('Opera') > -1) ? 'Opera' : navigator.appName;
	var pos = useragent.indexOf('MSIE');
	
	if (pos > -1) {
		bVer = useragent.substring(pos + 5);
		var pos = bVer.indexOf(';');
		var bVer = bVer.substring(0,pos);
	}

	var pos = useragent.indexOf('Opera');
	if (pos > -1){
		bVer = useragent.substring(pos + 6);
		var pos = bVer.indexOf(' ');
		var bVer = bVer.substring(0, pos);
	}
	
	if (bName == "Netscape") {
		var bVer = useragent.substring(8);
		var pos = bVer.indexOf(' ');
		var bVer = bVer.substring(0, pos);
	}

	if (bName == "Netscape" && parseInt(navigator.appVersion) >= 5) {
		var pos = useragent.lastIndexOf('/');
		var bVer = useragent.substring(pos + 1);
	}
  
	switch (info_type) {
		case 1: {return bName; break;}
		case 2: {return bVer; break;}
	}
	
}


// java per il posizionamento al centro di una tabella

var win = null;

function NewWindow(mypage,myname,w,h,scroll){

   LeftPosition = (screen.width) ? (screen.width-w)/2 : 0;
   TopPosition = (screen.height) ? (screen.height-h)/2 : 0;
   settings = 'height='+h+',width='+w+',top='+TopPosition+',left='+LeftPosition+',status,scrollbars='+scroll+',resizable'
   win = window.open(mypage,myname,settings)

   if(win.window.focus) {win.window.focus();}
}
 


// java per il dimensionamento delle celle in base alla grandezza di una immagine

function dim(tipo,immagine){

   var ah=0;
   var aw=0;
   var as='non rilevato'
   var imm=new Image();
   imm.src=immagine

   switch (tipo){
     case "l":  {return imm.width; break;}
     case "h":  {return imm.height; break;}
   }    
}

function crea_td(immagine,commento){
 
   document.write("<td width=",dim('l',immagine)," height=",dim('h',immagine)," >");

   if (commento !="") 
     document.write("<img src=",immagine," alt=",commento," border=0>")
   else
     document.write("<img src=",immagine," border=0>")
   document.write("</td>");
  
}


// java script per il calcolo dell'ora

var timerID = null
var timerRunning = false

function stopclock(){

  if(timerRunning)
  clearTimeout(timerID)
  timerRunning = false

}

function startclock(){

  // Make sure the clock is stopped
  stopclock()
  showtime()

}


function showtime(){

  var now = new Date()
  var hours = now.getHours()
  var minutes = now.getMinutes()
  var seconds = now.getSeconds()
  var gSettimana = now.getDay();
  var giorno = now.getDate();
  var iMese = now.getMonth();
  var anno = now.getYear();
  var oggi;
  var mese;
	
  switch (gSettimana){
     case 1:
	     oggi = "Lunedì";
	     break;
     case 2:
	     oggi = "Martedì";
	     break;
     case 3:
	     oggi = "Mercoledì";
	     break;
     case 4:
	     oggi = "Giovedì";
	     break;
     case 5:
	     oggi = "Venerdì";
	     break;
     case 6:
             oggi = "Sabato";
             break;
     case 0:
             oggi = "Domenica";
             break;
   }

  switch (iMese){
     case 0:
              mese = "Gennaio";
	      break;
     case 1:	                          
              mese = "Febbraio";
	      break;
     case 2:
	      mese = "Marzo";
	      break;
     case 3:
	      mese = "Aprile";
	      break;
     case 4:
	      mese = "Maggio";
	      break;
     case 5:
	      mese = "Giugno";
	      break;
     case 6:
	      mese = "Luglio";
	      break;
     case 7:
	      mese = "Agosto";
	      break;
     case 8:
	      mese = "Settembre";
	      break;
     case 9:
	      mese = "Ottobre";
              break;
     case 10:
              mese = "Novembre";
              break;
     case 11:
              mese = "Dicembre";
              break;
   }
	
  var timeValue = "" + ((hours < 10) ? "0" : "") + hours
      timeValue += ((minutes < 10) ? ":0" : ":") + minutes
      timeValue += ((seconds < 10) ? ":0" : ":") + seconds
     
  if (navigator.appName.toLowerCase() == "microsoft internet explorer" && parseInt(navigator.appVersion.charAt(0)) <=5){
    document.all("MYTAG").innerHTML = timeValue;
    }
  else {
    document.getElementById("MYTAG").innerHTML = timeValue;
    }

  timerID = setTimeout("showtime()",1000)
  timerRunning = true

}