. . "Batavia is a town of about 5,000 people." . .