function decode_from_xml(xml)
		{
			xml = xml.replace(/%2B/g," ");
			xml = xml.replace(/%80/g,"€");
			//xml = xml.replace(/_e_trema_/g,"ë");
			xml = unescape(xml);
			return xml;
		}
		
		function setVisible(what)
		{
			var obj = document.getElementById(what);
			if(obj.style.visibility!="visible")
			{
				obj.style.visibility = "visible";	
				obj.style.height = "100%";
			}
			else
			{
				obj.style.visibility = "hidden";	
				obj.style.height = "0px";
			}
		}