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