( 16 , 529 .)