HASH(0x7fedda5b27b8)