HASH(0x7f5cd459def0)