( 6.22 , 011X17 .)