HASH(0x7fedda5dc7c8)