( 12 , 529 .)