if( !nid ) { alert( "*** ERROR:innerHTML-set! -- illegal element \"" + nid + "\""); return; } 
function hop_innerHTML_set( nid, html ) {   var el;      if( (nid instanceof String) || (typeof nid == "string") ) {      el = document.getElementById( nid );      if( el == undefined ) {	 alert("*** ERROR:innerHTML-set! -- cannot find element \""	       + nid + "\"");	 return;      }   } else {      el = nid;   }      el.innerHTML = html;   hop_node_eval( el, html );}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/30004d51eeae15092c919e013162881ec7a30a41/hop.js/buggy/share/hop.js