HASH(0x7fa9f0377e70)