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.io.BufferedInputStream;
import java.util.Scanner;

/**
 * Created by jizhe on 2016/1/7.
 */
public class MartianClock {
    private static int getValue(char c)
    {
        if( c >= '0' && c <= '9' )
        {
            return c-'0';
        }
        if( c >= 'A' && c <= 'Z' )
        {
            return c-'A'+10;
        }

        return -1;
    }
    public static void main(String[] args) {
        Scanner in = new Scanner(new BufferedInputStream(System.in));

        String s = in.next();
        StringBuilder hour = new StringBuilder();
        StringBuilder minute = new StringBuilder();
        StringBuilder cur = hour;
        boolean leadingZeros = true;
        char maxDigit = '0';
        for( int i = 0; i < s.length(); i++ )
        {
            if( s.charAt(i) == ':' )
            {
                leadingZeros = true;
                cur = minute;
            }
            else
            {
                if( s.charAt(i) > maxDigit )
                {
                    maxDigit = s.charAt(i);
                }
                if( s.charAt(i) != '0' )
                {
                    cur.append(s.charAt(i));
                    leadingZeros = false;
                }
                else if( s.charAt(i) == '0' && !leadingZeros )
                {
                    cur.append(s.charAt(i));
                }
            }
        }

        int minRadix = getValue(maxDigit)+1;
        //System.out.printf("hour: %s, minute: %s, maxDigit: %c, minRadix: %d\n", hour, minute, maxDigit, minRadix);

        int h = 0;
        for( int i = 0; i < hour.length(); i++ )
        {
            h = h*minRadix+getValue(hour.charAt(i));
        }
        if( h > 23 )
        {
            System.out.printf("0\n");
            return;
        }

        if( hour.length() <= 1 && minute.length() <= 1 )
        {
            System.out.printf("-1\n");
            return;
        }

        int m = 0;
        for( int i = 0; i < minute.length(); i++ )
        {
            m = m*minRadix+getValue(minute.charAt(i));
        }
        if( m > 59 )
        {
            System.out.printf("0\n");
            return;
        }

        for( int i = minRadix; ; i++ )
        {
            h = 0;
            for( int j = 0; j < hour.length(); j++ )
            {
                h = h*i+getValue(hour.charAt(j));
            }
            //System.out.printf("h: %d, i: %d\n", h, i);
            if( h > 23 )
            {
                break;
            }

            m = 0;
            for( int j = 0; j < minute.length(); j++ )
            {
                m = m*i+getValue(minute.charAt(j));
            }
            //System.out.printf("m: %d, i: %d\n", m, i);
            if( m > 59 )
            {
                break;
            }
            System.out.printf("%d ", i);
        }

        System.out.printf("\n");
    }
}