HASH(0x7fedfa5ebc38)