HASH(0x7fedce5bb3e0)