HASH(0x7f5cdde53b28)