import re
s=['123456abc','abcisjgm','1234567895','1231231231']
for i in s:
if re.search(r'^(?=\d*?4)\d{10}$', i):
print(i, "is valid")
else:
print(i, "is not valid")
aW1wb3J0IHJlCgpzPVsnMTIzNDU2YWJjJywnYWJjaXNqZ20nLCcxMjM0NTY3ODk1JywnMTIzMTIzMTIzMSddCgpmb3IgaSBpbiBzOgogICAgaWYgcmUuc2VhcmNoKHInXig/PVxkKj80KVxkezEwfSQnLCBpKToKICAgICAgICBwcmludChpLCAiaXMgdmFsaWQiKQogICAgZWxzZToKICAgICAgICBwcmludChpLCAiaXMgbm90IHZhbGlkIik=