HASH(0x7fede5af94c8)