HASH(0x7f5cdde56a90)