Back to Plant diversity of Petungkriyono Forest of Dieng Plateau, Central Java, Indonesia Plant diversity of Petungkriyono Forest of Dieng Plateau, Central Java, Indonesia