<filename>LuoguCodes/AT1576.py
s1, s2, s3 = raw_input().split()
print [';invalid';, ';valid';][len(s1) == 5 and len(s2) == 7 and len(s3) == 5]

<filename>LuoguCodes/AT1576.py
s1, s2, s3 = raw_input().split()
print [';invalid';, ';valid';][len(s1) == 5 and len(s2) == 7 and len(s3) == 5]
