12 , 890 .)