HASH(0x7f5cfc55c0b0)