HASH(0x7fedd65ebcb0)