HASH(0x7fedca661140)