题目描述

小 A 在整理一本旧通讯录，里面混着很多随手写下的字符串。他只知道真正的手机号满足：

• 把字符串中的数字字符按原顺序取出，恰好组成 11 位；
• 且第一位数字是 1。

给定一个不含空格的字符串 $s$，若按上述规则它藏着一个合法手机号，请输出格式化结果：第 3~4 位之间、第 7~8 位之间用 - 分隔（即 1XX-XXXX-XXXX 的形式）；否则输出 Invalid。

输入格式

从文件 phone.in 中读取数据。

一行一个字符串 $s$。

输出格式

输出到文件 phone.out。

一行，为格式化手机号或 Invalid。

输入输出样例 #1

Tel:13812345678.

138-1234-5678

输入输出样例 #2

957-2468-1350

Invalid

（样例 2 中数字共 11 位，但第一位是 9。）

数据范围与约定

对于所有数据：$1 \le |s| \le 10^5$，$s$ 仅由大小写字母、数字及可见符号组成，不含空格。