h801 top-level property

double h801
getter/setter pair

Implementation

double h801 = h(801);