HASH(0x7fedd65b2c28)