  element.hidden = false; 
  get panel() {    delete this.panel;    var element = document.getElementById("editBookmarkPanel");    element.addEventListener("popuphiding", this, false);    element.addEventListener("keypress", this, true);    return this.panel = element;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a7970f33e97e3308a2790344b7717a2e78600562/browser-places.js/buggy/browser/base/content/browser-places.js