( 6.17 , 874X2 .)