h767 top-level property

double h767
getter/setter pair

Implementation

double h767 = h(767);