HASH(0x7fede57cc9b0)