h713 top-level property

double h713
getter/setter pair

Implementation

double h713 = h(713);