HASH(0x7fedce5d16a8)