( 12 , 547 .)