new file:   txredns.py