B'Petya loves lucky numbers. Everybody knows that lucky numbers are positive integers whose decimal representation contains only the lucky digits 4 and 7. For example, numbers 47, 744, 4 are lucky and 5, 17, 467 are not. One day Petya was delivered a string s, containing only digits. He needs to find a string that Among all the strings for which the three conditions given above are fulfilled, Petya only needs the lexicographically minimum one. Find this string for Petya. The single line contains a non-empty string s whose length can range from 1 to 50, inclusive. The string only contains digits. The string can contain leading zeroes. In the only line print the answer to Petya 's problem. If the sought string does not exist, print "-1" (without quotes). The lexicographical comparison of strings is performed by the < operator in the modern programming languages. String x is lexicographically less than string y either if x is a prefix of y, or exists such i (1 xe2 x80 x89 xe2 x89 xa4 xe2 x80 x89i xe2 x80 x89 xe2 x89 xa4 xe2 x80 x89min(|x|, xe2 x80 x89|y|)), that xi xe2 x80 x89< xe2 x80 x89yi and for any j (1 xe2 x80 x89 xe2 x89 xa4 xe2 x80 x89j xe2 x80 x89< xe2 x80 x89i) xj xe2 x80 x89= xe2 x80 x89yj. Here |a| denotes the length of string a. In the first sample three conditions are fulfilled for strings "4", "7" and "47". The lexicographically minimum one is "4". In the second sample s has no substrings which are lucky numbers. In the third sample the three conditions are only fulfilled for string "7".'...