function FindProxyForURL(url, host) {
  if (
    dnsDomainIs(host, ".ing.com") ||
    dnsDomainIs(host, ".ing.nl") ||
    dnsDomainIs(host, ".ing.be") ||
    dnsDomainIs(host, ".ing.de") ||
    dnsDomainIs(host, ".ing.lu") ||
    dnsDomainIs(host, ".ing.it") ||
    dnsDomainIs(host, ".ing.ro")
  ) {
    return "PROXY giba-proxy.wps.ing.net:8080";
  } else {
    return "DIRECT";
  }
}