all="""
""".split()