PREF_SetIntPref(const char *pref_name, PRInt32 value)
PREF_SetIntPref(const char *pref_name, PRInt32 value, PRBool set_default)
PREF_SetIntPref(const char *pref_name, PRInt32 value){    PrefValue pref;    pref.intVal = value;        return pref_HashPref(pref_name, pref, PREF_INT, PREF_SETUSER);}