( 31 , 217 .)