HASH(0x7fede66689f0)