12537 ) ( 9 , 039)