HASH(0x7fede4051cc0)