12 , 500 , 000;