( 12 , 531 .)