Problem: Having stayed home alone, Petya decided to watch forbidden films on the Net in secret. "What ungentlemanly behavior!" — you can say that, of course, but don't be too harsh on the kid. In his country films about the Martians and other extraterrestrial civilizations are forbidden. It was very unfair to Petya as he adored adventure stories that featured lasers and robots. 

Today Petya is watching a shocking blockbuster about the Martians called "R2:D2". What can "R2:D2" possibly mean? It might be the Martian time represented in the Martian numeral system. Petya knows that time on Mars is counted just like on the Earth (that is, there are 24 hours and each hour has 60 minutes). The time is written as "a:b", where the string a stands for the number of hours (from 0 to 23 inclusive), and string b stands for the number of minutes (from 0 to 59 inclusive). The only thing Petya doesn't know is in what numeral system the Martian time is written.

Your task is to print the radixes of all numeral system which can contain the time "a:b".

Input

The first line contains a single string as "a:b" (without the quotes). There a is a non-empty string, consisting of numbers and uppercase Latin letters. String a shows the number of hours. String b is a non-empty string that consists of numbers and uppercase Latin letters. String b shows the number of minutes. The lengths of strings a and b are from 1 to 5 characters, inclusive. Please note that strings a and b can have leading zeroes that do not influence the result in any way (for example, string "008:1" in decimal notation denotes correctly written time).

We consider characters 0, 1, ..., 9 as denoting the corresponding digits of the number's representation in some numeral system, and characters A, B, ..., Z correspond to numbers 10, 11, ..., 35.

Output

Print the radixes of the numeral systems that can represent the time "a:b" in the increasing order. Separate the numbers with spaces or line breaks. If there is no numeral system that can represent time "a:b", print the single integer 0. If there are infinitely many numeral systems that can represent the time "a:b", print the single integer -1.

Note that on Mars any positional numeral systems with positive radix strictly larger than one are possible.

Examples

Input

11:20


Output

3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

Input

2A:13


Output

0


Input

000B:00001


Output

-1

Note

Let's consider the first sample. String "11:20" can be perceived, for example, as time 4:6, represented in the ternary numeral system or as time 17:32 in hexadecimal system. 

Let's consider the second sample test. String "2A:13" can't be perceived as correct time in any notation. For example, let's take the base-11 numeral notation. There the given string represents time 32:14 that isn't a correct time.

Let's consider the third sample. String "000B:00001" can be perceived as a correct time in the infinite number of numeral systems. If you need an example, you can take any numeral system with radix no less than 12.

Solution (in JAVA):

Solution:

import java.util.*;
import java.io.*;
import java.math.BigInteger;



public class EQDIV {

    
    public static void main(String[] args) throws IOException {
        Reader.init(System.in);
        String num[] = Reader.next().split(":");
        
        // one digit
        if(isOneDiget(num[0]) && isOneDiget(num[1])){
            int x = convert(num[0], 60);
            int y = convert(num[1], 60);
            
            if(check(x, y))
                System.out.println("-1");
            else
                System.out.println("0");
            
            return;
        }
        
        
        int start = Math.max(min(num[0]), min(num[1]));
        if(start >= 65)
            start -= 54;
        else
            start -= '0'-1;
        
        StringBuilder ans = new StringBuilder();
        
        for(int i = start; ; i++){
           int x = convert(num[0], i);
           int y = convert(num[1], i);
            
            if(check(x, y))
                ans.append(i).append(" ");
            else
                break;
        }
        
        if(ans.length() == 0)
            System.out.println(0);
        else
         System.out.println(ans);
    }
    
    
    public static int convert(String num, int base){
        int ans = 0;
        
        for(int i = num.length() - 1; i > -1; i--){
            
            char ch = num.charAt(i);
            
            if(ch >= 65)
                ch -= 55;
            else
                ch -= '0';
            
            ans += Math.pow(base, (num.length()-1) - i) * ch;
        }
        
        return ans;
    }
    public static int min(String a){
        int max = 0;
        
        for(int i = 0; i < a.length(); i++)
            if(a.charAt(i) > max)
                max = a.charAt(i);
        
        return max;
    }
    
    public static boolean check(int x, int y){
        if(x >= 24) return false;
        return y < 60;
    }
    
    public static boolean isOneDiget(String a){
        
        for(int i = a.length() - 2; i > -1; i--)
            if(a.charAt(i) != '0')
                return false;
        return true;
    }
}


class Reader {

    static BufferedReader reader;
    static StringTokenizer tokenizer;

    /**
     * call this method to initialize reader for InputStream
     */
    public static int pars(String x) {
        int num = 0;
        int i = 0;
        if (x.charAt(0) == '-') {
            i = 1;
        }
        for (; i < x.length(); i++) {
            num = num * 10 + (x.charAt(i) - '0');
        }

        if (x.charAt(0) == '-') {
            return -num;
        }

        return num;
    }

    static void init(InputStream input) {
        reader = new BufferedReader(
                new InputStreamReader(input));
        tokenizer = new StringTokenizer("");
    }

    /**
     * get next word
     */
    static String next() throws IOException {
        while (!tokenizer.hasMoreTokens()) {
            //TODO add check for eof if necessary
            tokenizer = new StringTokenizer(
                    reader.readLine());
        }
        return tokenizer.nextToken();
    }

    static int nextInt() throws IOException {
        return pars(next());
    }

    static byte nextByte() throws IOException {

        return Byte.parseByte(next());
    }

    static long nextLong() throws IOException {
        return Long.parseLong(next());
    }

    static double nextDouble() throws IOException {
        return Double.parseDouble(next());
    }
}