python的基本使用之字符串类型