HASH(0x7fa9d45644e0)