rem: statusTextFld.setAttribute("value", text); 
add: if (statusTextFld.getAttribute("value") != text) { statusTextFld.setAttribute("value", text); } 
context:   updateStatusField : function()  {    var text = this.jsStatus || this.overLink || this.jsDefaultStatus || this.defaultStatus;    if (!statusTextFld)      statusTextFld = document.getElementById("statusbar-display");    statusTextFld.setAttribute("value", text);  },
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/54c9b127b749240e3b5383979dfb3c29715850ce/navigator.js/buggy/suite/browser/navigator.js