HASH(0x7f5cfec10c18)