HASH(0x7fedda5aa0a0)