HASH(0x7f5ccde98e00)