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