HASH(0x7fa9b4410f80)