What was the number of people in Nanjing in 1400