( 13 , 572 .)