python字符串切片输出