( 12 , 493 .)