HASH(0x7fedce5dd7a0)