some little tools written by python