HASH(0x7f131dde7f80)