( 12 , 538 .)