HASH(0x7fedd65b25c0)