HASH(0x7fedd65f73e0)