HASH(0x7fedfa5c7568)