( 12 , 533 .)