HASH(0x7fedda5e6308)