python中判断大小写的函数