hop_hpaned_dimension_set( paned, val1, height ); 
if( height > 0 ) { var val1 = height * (frac / 100); hop_hpaned_dimension_set( paned, val1, height ); } else { paned.fraction = fraction; } 
function hop_hpaned_fraction_set( paned, fraction ) {   var frac;      if( (fraction instanceof String) || (typeof fraction == "string") ) {      frac = parseInt( fraction );   } else {      frac = fraction;   }   if( (frac < 0) || (frac > 100) ) {      return;   } else {      paned.fraction = frac;      var height = parseInt( node_style_get( paned, "height" ) );      var val1 = height * (frac / 100);      hop_hpaned_dimension_set( paned, val1, height );	       return;   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/03cc7bc6a15b26124d550ccdaf125b995ee54ac5/hop-paned.js/buggy/share/hop-paned.js