( 13 , 257 .)