HASH(0x7fedce5e0d88)