( 19 , 543 .)