HASH(0x7fedda5f6688)