HASH(0x7fedfa5de280)