( 20 , 543 .)