prefValue = document.getElementById("calendar.timezone.local").value;  
var prefValue = document.getElementById("calendar.timezone.local").value;  
    init: function () {        var tzMenuList = document.getElementById("calendar.timezone.menulist");        prefValue = document.getElementById("calendar.timezone.local").value;                if (!prefValue) {            prefValue = calendarDefaultTimezone();            tzMenuList.value = prefValue;        }    }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/cbe8d93f0d0743e7a6bd9ca6a4a22e3ac3e585e9/timezones.js/buggy/calendar/base/content/preferences/timezones.js