function select(obj) {
  		obj.className = 'HL';
  	}
  	function deselect(obj) {
  		obj.className = 'NS';
  	}
	function buttonHL(obj) {
		obj.style.backgroundColor = "#203F72";
	}
	function buttonN(obj) {
		obj.style.backgroundColor = "#4476AB";
	}
	function aggiornaLabel(value) {
    		s = document.getElementById("SYM");
    		if (value == "A")
    			s.innerHTML = "€";
    		else s.innerHTML = "az.";
	}

	function aggiornaLabelEng(value) {
    		s = document.getElementById("SYM");
    		if (value == "A")
    			s.innerHTML = "€";
    		else s.innerHTML = "sh.";
	}