题目描述

判断一个字符串是否为手机号，要求第一位为 $1$，第二位是 $3$、$5$、$8$ 中的一个。

输入格式

输入一行字符串，字符串长度为 $11$。