function FindProxyForURL(url, host) {
	return 'HTTPS de.opera-proxy.net:443';
}