HASH(0x7fa9d45592d0)