HASH(0x7fede667ff68)