HASH(0x7fedc267e9f0)