function LoadXMLDoc(url)
			{
				// code for Mozilla, etc.
				if (window.XMLHttpRequest)
				{
					xmlhttp=new XMLHttpRequest()
					xmlhttp.onreadystatechange=xmlhttpChange
					xmlhttp.open("GET",url,false)
					xmlhttp.send(null)
					return xmlhttp.responseText;
				}
				// code for IE
				else if (window.ActiveXObject)
				{
					xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
					if (xmlhttp)
					{
						xmlhttp.onreadystatechange=xmlhttpChange
						xmlhttp.open("GET",url,false)
						xmlhttp.send();
						return xmlhttp.responseText;
					}
				}
			}
				function xmlhttpChange()
			{
				// if xmlhttp shows "loaded"
				if (xmlhttp.readyState==4)
				{
				// if "OK"
				if (xmlhttp.status==200)
					{
					// ...some code here...
					}
				else
					{
					alert("Problem retrieving XML data")
					}
				}
			}
						// funcao do zoom
			var DOM2=document.getElementById
			var valorinicial;var escala;
			var ampliado;
						function zoom(texto)	{
			if ((valorinicial<=1.5)&&(texto.indexOf('mais')==0)) valorinicial=valorinicial+0.2;
			if ((valorinicial>0.7)&&(texto.indexOf('menos')==0)) valorinicial=valorinicial-0.2;
			if ((valorinicial!=1)&&(texto.indexOf('padrao')==0)) valorinicial=1;
			if (DOM2){
					document.getElementById("zoom").style.fontSize=valorinicial+"em";
					document.getElementById("zoom").innerHTML;
									cook("mudaL",valorinicial);
}
			}function initzoom(valor){
			if (DOM2){
					document.getElementById("zoom").style.fontSize=valor+"em";
					document.getElementById("zoom").innerHTML;
			 }
			valorinicial = valor;
			}
			// funcao trocar cor   
			var cssref = 'http://www.ppa.sp.gov.br/v1/'
				function gravacss(css) 
                                {
					    document.getElementById("estilocss").href = "" + cssref + css;
				}
				
				
			
			//function gravacookie(nome,valor)
				function gravacookie(nome,valor)
				{
					document.cookie = nome + "=" + escape(valor) + ";  expires=Fri, 17 Dec 1999 10:00:00 GMT;";
					document.cookie = nome + "=" + escape(valor) + ";  expires=Fri, 17 Dec 2020 10:00:00 GMT; path=";
				}


			function clearDefault(el) {
			  if (el.defaultValue==el.value) el.value = ""
			}