element.addEventListener("popuphiding", this, false); 
element.addEventListener("popuphidden", this, false); 
  get panel() {    delete this.panel;    var element = document.getElementById("editBookmarkPanel");    // initially the panel is hidden    // to avoid impacting startup / new window performance    element.hidden = false;    element.addEventListener("popuphiding", this, false);    element.addEventListener("keypress", this, true);    return this.panel = element;  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/35d89dc35037ca67c2cfa444467976ce2bb79555/browser-places.js/buggy/browser/base/content/browser-places.js