//BROWSERS
//========

// checking if the browser is Opera
var is_Opera = (window.navigator.userAgent.search("Opera") != -1);

// checking if the browser is IE
var is_IE = ((window.navigator.userAgent.search("MSIE") != -1) && !is_Opera);

//SHORTCUTS
//=========

function o(id) {
  return document.getElementById(id);
}


function controlla(){ 
    
		if (document.all.getElementByName() = "prenotazioni") {
		return "stato_prenotazione?action=prenotazioni"; }
		
		if (document.all.getElementByName() = "biglietti") {
		return "stato_prenotazione?action=biglietti"; }
}