HASH(0x7fedda5fc7d0)