Population of cities of 25,000 and over at 13th census, final revised announcement.