// JavaScript Document

function swapMenuTop(obj,img){
	document.getElementById(obj).src="images/pulsanti_menu/" + img		
}


function getTipoBrowser(){
				if (navigator.userAgent.indexOf("Firefox") > -1)
				   {
						return "firefox";
					}
				else if(navigator.userAgent.indexOf("Safari") > -1)
				{
				
					return "safari";
				}
				else if(navigator.userAgent.indexOf("MSIE") > -1)
				{
					return "explorer";
				}
				else
				  return "sconosciuto";
				  
				  
}

function coloraRiga(riga,colore){
    riga.className=colore;
   
  }