( 13 , 537 .)