HASH(0x7fedfa5f2f60)