ws8 tex