function removeCalendarFromTree(aCalendar){    var calTree = document.getElementById("calendarTree")    var index = getIndexForCalendar(aCalendar);    calTree.boxObject.rowCountChanged(index, -1);    // Just select the new last row, if we removed the last listed calendar    if (index == calTree.view.rowCount-1) {        index--;    }    calTree.view.selection.select(index);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2289d8bc143211c25fb37aa74324ecdf1bc8296e/calendar-management.js/buggy/calendar/lightning/content/calendar-management.js