some little python tool