HASH(0x7f5cd457a2c0)