h517 top-level property

double h517
getter/setter pair

Implementation

double h517 = h(517);