HASH(0x7fedca671ee0)