ws6 tex