Distribution and population estimate of grizzled leaf monkeys in Mount Slamet, Central Java, Indonesia