HASH(0x7fedda5b3f38)