HASH(0x7fede25bd298)