HASH(0x7fedce5de6e8)