some useful small tools of python