HASH(0x7fa9d45644f8)