HASH(0x7fedaf9dfef0)