function hop_vpaned_fraction_set( paned, fraction ) {   var frac;      if( (fraction instanceof String) || (typeof fraction == "string") ) {      node_style_set( paned.td1, "width", fraction );      frac = parseInt( fraction );   } else {      if( (fraction < 0) || (fraction > 100) ) {	 return;      }      frac = fraction;      node_style_set( paned.td1,		      "width",		      (paned.clientWidth * (fraction/100)) + "px" );   }   if( paned.fraction != frac ) {      paned.fraction = frac;      if( paned.onresize != undefined ) {	 paned.onresize();      }   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/03cc7bc6a15b26124d550ccdaf125b995ee54ac5/hop-paned.js/buggy/share/hop-paned.js