HASH(0x7fede26ebfc8)