python 一些函数