pgnum property

int pgnum
getter/setter pair

Implementation

int pgnum;