HASH(0x7fede25fbae8)