( 7 , 257 .)