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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9509498ac9f2aa41c7a48a867a145b43319fe137/navigator.js/buggy/xpfe/browser/resources/content/navigator.js