rem: if (document.all||document.getElementById) document.write('<div class="progressBarDiv"><img id="progressBar" name="progressBar" src="html/images/pixel.green'+s+'.gif" width="1" height="4"><\/div>'); 
add: if (document.all||document.getElementById) { document.write('<div class="progressBarDiv"><img id="progressBar" name="progressBar" src="html/images/pixel.green'+s+'.gif" width="1" height="4"><\/div>'); } 
context: function insertProgressBar(mp,end,at) {	var s = '';	if (!mp) s = '_s';	if (document.all||document.getElementById)	document.write('<div class="progressBarDiv"><img id="progressBar" name="progressBar" src="html/images/pixel.green'+s+'.gif" width="1" height="4"><\/div>');	_progressAt = at;	_progressEnd = end;	ProgressUpdate(mp)}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/4c4eb1d6fe7d646569c38885802e6297be9a0440/scripts.js/buggy/HTML/Fishbone/html/scripts.js