if( (html instanceof String) || (typeof html == "string") ) 
if( (html instanceof String) || (typeof html == "string") ) { 
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 {      if( !nid ) {	 alert( "*** ERROR:innerHTML-set! -- illegal element \"" + nid + "\"");	 return;      }      el = nid;   }      el.innerHTML = html;   if( (html instanceof String) || (typeof html == "string") )      hop_node_eval( el, html );}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/03cc7bc6a15b26124d550ccdaf125b995ee54ac5/hop.js/buggy/share/hop.js