( 16 , 494 .)