HASH(0x7fa9d053d2f0)