( 13 , 543 .)