HASH(0x7fb5eff16d70)