6231x2 ) ( 3890 .)