( 7 , 317 .)