Как использовать разные прокси для разных адресов?

Я в офисе, за HTTP-прокси. Это настраивается в панели управления (Windows 7). Я хотел бы использовать другой прокси для краткого списка конкретных доменов. Как я могу этого достичь?

используя файл PAC (Proxy Auto Config) ...

пример (из Википедии):

function FindProxyForURL(url, host) {
        // our local URLs from the domains below example.com don't need a proxy:
        if (shExpMatch(host, "*.example.com")) {
                return "DIRECT";
        }

        // URLs within this network are accessed through
        // port 8080 on fastproxy.example.com:
        if (isInNet(host, "10.0.0.0", "255.255.248.0")) {
                return "PROXY fastproxy.example.com:8080";
        }

        // All other requests go through port 8080 of proxy.example.com.
        // should that fail to respond, go directly to the WWW:
        return "PROXY proxy.example.com:8080; DIRECT";
}

_{В дополнение к ответу pataluc В}
этом примере показано, как создать файл PAC для краткого списка URL-адресов.

function FindProxyForURL(url, host) {
 // fill in your own proxy
 var proxy = "PROXY 192.168.1.1:8080";
 if (shExpMatch(url, "http://www.firstwebsite.com*")) { return proxy; }
 if (shExpMatch(url, "http://www.secondwebsite.com*")) { return proxy; }
 if (shExpMatch(url, "http://www.thirdwebsite.com*")) { return proxy; }
 // don't proxy all other URLs 
 return "DIRECT";
}