rem: if(document.getElementById) { 
add:  if(document.getElementById && elm != null && txt != null){ 
context: function changeInnerHTML (elm, txt) {	if(document.getElementById) {	var el = document.getElementById(elm);	el.innerHTML = el.innerHTML + txt;	return true;	}	return false;}
meta: 5269	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5269/97802ef3267f9aca6da074e164a470f1b5813784/jsOut.js/buggy/Animator/dev/tmp/jsOut.js