HASH(0x7fedfa5737f8)