// JavaScript Document


function estraiTag(nomeTag,testo) {
   var contenuto, parametri, pattern, found
   pattern = new RegExp("<"+nomeTag+">|<"+nomeTag+"\\s+([^>]*)>","i")
   var provv=pattern.exec(testo)
   if (!provv) return(null)
   contenuto=testo.substring(provv.index+provv[0].length)
   parametri=provv[1]
   pattern.compile("</"+nomeTag+">","i")
   provv=pattern.exec(contenuto)
   if (!provv) return(null)
   contenuto=contenuto.substring(0,provv.index)
   return([contenuto,parametri])
}


function leggiElementoCookie (nomeElemento,nomeCookie) {
   var allcookies=document.cookie;
   var pos = allcookies.indexOf(nomeCookie+"=");
   if (pos != -1) {
      var start = pos + nomeCookie.length+1;
	  var end = allcookies.indexOf(";",start);
	  if (end==-1) end=allcookies.length;
	  var value=allcookies.substring(start,end)
	  if (nomeElemento!="") {
	     var pos = value.indexOf(nomeElemento+":");
	     if (pos != -1) {
	        start = pos + nomeElemento.length+1;
	        end = value.indexOf("/",start);
		    if (end==-1) end=value.length;
		    value=value.substring(start,end)
    	    return value
	     } else {
	        return "_noElement"
	     }
      } else {
	     return value
	  }
   } else {
      return "_noCookie"
   }
}


function scriviElementoCookie (valoreElemento,nomeElemento,nomeCookie) {
   var nextyear = new Date()
   nextyear.setFullYear(nextyear.getFullYear()+1);
   var vecchioValore=leggiElementoCookie(nomeElemento,nomeCookie)
   var vecchioCookie=leggiElementoCookie("",nomeCookie)
   var nuovoCookie=""
   if (valoreElemento!=="") {
      if (vecchioValore=="_noCookie") {
         nuovoCookie=nomeElemento+":"+valoreElemento
      } else if (vecchioValore=="_noElement") {
         nuovoCookie=vecchioCookie+"/"+nomeElemento+":"+valoreElemento
      } else {
	     nuovoCookie=vecchioCookie.replace(nomeElemento+":"+vecchioValore,nomeElemento+":"+valoreElemento)
      }
   } else {
      if (vecchioValore=="_noCookie" || vecchioValore=="_noElement") {
         nuovoCookie=vecchioCookie
      } else {
	     nuovoCookie=vecchioCookie.replace(nomeElemento+":"+vecchioValore,"")
		 nuovoCookie=nuovoCookie.replace("//","/")
      }
   }
   document.cookie = nomeCookie+"=" + nuovoCookie + "; expires=" + nextyear.toGMTString();
}