Just a javascript script file that tests for where ip-wise the user originates from and determines if you use a proxy for the site or connect directly.

http://en.wikipedia.org/wiki/Proxy_auto-config