HASH(0x7fedca685ff0)