coding some hf_property_* procedures.