HASH(0x7fa9b85965d0)