使用python3写的一些小工具