window.onload = function() {
g_brow = get_browser_agent();
g_prefs = new client_prefs(null);
/* g_prefsn = new Prefsn($('prefsn')); */
window.onload = function() {
g_brow = get_browser_agent();
g_prefs = new client_prefs(null);
/* g_prefsn = new Prefsn($('prefsn')); */