HASH(0x7fedce65ce10)