HASH(0x7fedfa5dee88)