( 9 , 533 .)