h717 top-level property

double h717
getter/setter pair

Implementation

double h717 = h(717);