function FindProxyForURL(url, host) {

	if (isPlainHostName(host)
	 || shExpMatch(host, "*.sanitarium.net")
	   )
                return "DIRECT" ;
        else
            return "PROXY proxy.sanitarium.net:3128; DIRECT";

}