add: if (!progressbar) return;  
context: function updateProgressBar() {	if (curPlayMode == "play" || curPlayMode == "pause") {		progressbar.setValue(progressAt / progressEnd * 50);		if (progressEnd == 0) {			progresstext.setText(' ' + timetostr(progressAt));		} else {			progresstext.setText(' ' + timetostr(progressAt) + ' / ' + progressEndText);		}	} else {		progressbar.setValue(-1);		progresstext.setText(' 0:00 / ' + progressEndText);	}}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/640ecba6dfa45ecaaf358a84cbab7864eb83599f/status.js/clean/HTML/ExBrowse3/html/status.js