some python tools