rem: var win = ((id instanceof HTMLElement) || (id instanceof Object && id.propertyIsEnumerable( "innerHTML" ))) ? id : document.getElementById( id ); 
add: var win = hop_isHTMLElement( id ) ? id : document.getElementById( id ); 
context: function hop_iwindow_iconify( id ) {   var win = ((id instanceof HTMLElement) ||              (id instanceof Object && id.propertyIsEnumerable( "innerHTML" )))      ? id : document.getElementById( id );   if( win.iconifiedp ) {      win.iconifiedp = false;   } else {   }      if( win.iconify ) {      win.iconify();   } else {      if( win.style.position == "fixed" ) {	 var old = win.offsetTop;	 // MS 3may2006: I think that for IE, we have to use	 // document.documentElement.scrollTop or document.body.scrollTop	 win.style.top = old + window.pageYOffset;	 win.style.setProperty( "position", "absolute", "" );      } else {	 var old = win.offsetTop;	 win.style.top = old - window.pageYOffset;	 win.style.setProperty( "position", "fixed", "" );      }   }   /* user event */   if( win.iconifiedp ) {      if( win.ondeiconify ) win.ondeiconify();      win.iconifiedp = false;   } else {      if( win.oniconify ) win.oniconify();      win.iconifiedp = true;   }}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/d6084b08745dad0eb19b44957aabebface67a1ec/hop-iwindow.js/clean/share/hop-iwindow.js