( 6 , 494 .)