Update ws12.py