( 13 , 494 .)