HASH(0x7fedd65ad870)