if (FBTrace.DBG_INITIALIZE)                                                                                        /*@explore*/ FBTrace.sysout("tabWatcher.onUnloadWindow "+win.location.href +" removeEventListener: "+ eventType+"\n");      /*@explore*/ 
if (FBTrace.DBG_INITIALIZE)                                                                                        /*@explore*/ FBTrace.sysout("tabWatcher.onUnloadWindow "+win.location.href +" removeEventListener: "+ eventType+"\n");      /*@explore*/ 
function onUnloadWindow(event){    var win = event.currentTarget;    var eventType = (win.parent == win) ? "pagehide" : "unload";    win.removeEventListener(eventType, onUnloadWindow, false);	if (FBTrace.DBG_INITIALIZE)                                                                                        /*@explore*/		FBTrace.sysout("tabWatcher.onUnloadWindow "+win.location.href +" removeEventListener: "+ eventType+"\n");      /*@explore*/    TabWatcher.unwatchWindow(win);}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/tabWatcher.js/clean/extension/content/firebug/tabWatcher.js