some simple python tools