( 16 , 557 .)