function FindProxyForURL(url, host) {

// Bypass the proxy for *.berkeley.edu
if (dnsDomainIs(host, ".berkeley.edu")) {
	return "DIRECT";
}

return "PROXY http://127.0.0.1:18080";

} // End of function