( 17 , 494 .)