function getCalendarManager() { if (g_calendarManager == null) { 
function getCalendarManager() { if (!g_calendarManager) { 
function getCalendarManager(){    if (g_calendarManager == null) {        g_calendarManager =            Components.classes["@mozilla.org/calendar/manager;1"]            .getService(Components.interfaces.calICalendarManager);    }    return g_calendarManager;};
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a8adf4992620da379274cea3395ed3099b6769d6/calWcapUtils.js/buggy/calendar/providers/wcap/calWcapUtils.js