h417 top-level property

double h417
getter/setter pair

Implementation

double h417 = h(417);