HASH(0x7fedd65cdbb8)