HASH(0x7fedfa5dfc70)