Input (grade 8): The Kingdom of Tungning () is also sometimes called the Kingdom of Zheng (Cheng) () or the Kingdom of Yanping ().
Output (grade 8): The Dutch gave him the fort and left all the goods and property of the Dutch East India Company behind.