HASH(0x7fedc65d6bc8)