ws7 tex