user_pref("prefs.js", 1);