HASH(0x7fedd91eb240)