HASH(0x7fedce5a1a88)