HASH(0x7fede25dc550)