HASH(0x7fedd4003cf8)