HASH(0x7fede257a428)