a = """\U00D80000"""