( 8-53 proc .)