import WKS9x.py