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