import re
def main(tel):
ret = re.match(r"^1[345678]\d{9}$", tel)
if ret:
return True
else:
return False
if __name__ == "__main__":
tel='14196413117'
RES=main(tel)
print(RES)
import re
def main(tel):
ret = re.match(r"^1[345678]\d{9}$", tel)
if ret:
return True
else:
return False
if __name__ == "__main__":
tel='14196413117'
RES=main(tel)
print(RES)