HASH(0x7fedce5dd0b0)