HASH(0x7f5cfab36e20)