function FindProxyForURL(url, host) {
  return "PROXY 10.0.1.23:8080";
} // End of function