( 13 , 547 .)