rem: var tab = ((id2 instanceof HTMLElement) || (id2 instanceof Object && id2.propertyIsEnumerable( "innerHTML" ))) 
add: var tab = hop_isHTMLElement( id2 ) 
context: function hop_notepad_select( id1, id2 ) {   var notepad = ((id1 instanceof HTMLElement) ||		  (id1 instanceof Object &&		   id1.propertyIsEnumerable( "innerHTML" )))                 ? id1 : document.getElementById( id1 );   var tab = ((id2 instanceof HTMLElement) ||	      (id2 instanceof Object &&	       id2.propertyIsEnumerable( "innerHTML" )))	      ? id2 : document.getElementById( id2 );   if( notepad.remote_service != null ) {      hop_notepad_remote( notepad.remote_service, notepad, tab );   } else {      hop_notepad_inline( notepad, tab );   }}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/d6084b08745dad0eb19b44957aabebface67a1ec/hop-notepad.js/buggy/share/hop-notepad.js