( 8 , 3i7 .)