HASH(0x7fedee5faff8)