| Common name | Petehan |
| Language | Javanese |
| Type | Vernacular |
| Official trade name | No |
| Rank | 3 - (Other common name) |
| Country | Indonesia |
| Locality | Java |
| Ref. | Schuster, W.H. and R. Djajadiredja, 1952 |
| Life stage | juveniles and adults |
| Sex | females and males |
| Core | |
| 1st modifier | |
| 2nd modifier | |
| Remarks | Petehan (Javanese) = not in Ref. 28003. |