h523 top-level property

double h523
getter/setter pair

Implementation

double h523 = h(523);