HASH(0x7fedfa5d9c18)