function FindProxyForURL (url,host)
	{ if ((url.substring(0,5) != "http:") &&
	      (url.substring(0,4) != "ftp:") &&
	      (url.substring(0,7) != "gopher:")) {
	      return "DIRECT";
	      }
	  if (isPlainHostName(host) || shExpMatch(host,"192.168.*") || shExpMatch(host,"127.*") || (url.substring(11,23) == "xtec.es:8800"))
	      	 return "DIRECT";
	  else 
	  	return "PROXY 192.168.0.2:8080; PROXY proxy.xtec.es:8080; DIRECT";
	  }