HASH(0x7fede66409c0)