HASH(0x7fede2652e78)