ws9 tex