HASH(0x7fedca583c50)