22890 ^ 12 .)