( 13 , 533 .)