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