请教如何用.bat脚本修改firefox的自动代理脚本pac设置

如题：
因为我的网站大部分人是教育网，上公网要花钱，所以架了个代理，为了方便用户架了一个代理，想做一个bat脚本实现让用户一点击就可以自动配置上代理。IE下用bat文件修改注册表就可以实现，但firefox的我不知保存代理设置的文件是哪个，就没法实现，想徇问下各位高手有没有知道的。
具体实现效果是点击*.bat文件自动实现下面的这个配置。


主要是想知道保存这个设置的地址是放在哪里，是存放在哪个文件，如果存放在注册表键名是什么？
我一直搞PHP的，应用软件没做过，找了半天都没找到。如果有高手知道的麻烦说一下，感激不尽。

我在all.js中找到
pref("network.proxy.autoconfig_url", "");
但设置了这里还是没有变化

已找到
C:\Documents and Settings\Administrator\Application Data\Mozilla\Firefox\Profiles\8tof0w05.default\prefs.js
在firefox关闭的情况下修改即可