( 17 , 862 .)