function hop_bounding_box( e ) { 
function hop_bounding_box( e, m ) { 
function hop_bounding_box( e ) { /// node-bounding-box   var n;   if( (e instanceof String) || (typeof e == "string") ) {      n = document.getElementById( e );   } else {      n = e;   }   return [ hop_element_x( n ), hop_element_y( n ),	    n.offsetWidth, n.offsetHeight ];}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/1219824392441a5e7886a4d1ff03969b842ce262/hop-dom.js/clean/share/hop-dom.js