( 13 , 557 .)