#include <stdio.h>
      
const int maxn=10010;
       
int a[maxn],b[maxn];
       
int m,total,s,t,aptotal,apm,aps,apt,k;
int n;
int ck()
{
    int p,r;
    if (total > 5)
        return 1;
    p=s;
    r=t;
    for(int q=0;q<m;q++)
    {
        p=p*10+s;
    }
       
    for (int q = 0; q < total-m; q++)
        p = p * 10;
    for (int q = 1; q < total-m; q++)
        r = r * 10 + t;
    return p+r>n;
}
int main()
{
    while(scanf("%d", &n) , n)
    {
        printf("%d: ", n);
        if (n == 1) {
            printf("10");
            continue;
        }
        a[0]=1;
        b[0]=1;
        for(int i=1;i<9999;i++)
            a[i]=(a[i-1]*10+1)%n;
        for (int i = 1; i < 999; i++)
            b[i] = b[i-1]*10%n;
        for (total = 1, aps = 0; total < 9999; total++) {
            k = 0;
            if ((n % 10 == 0 || n % 25 == 0) && total> 11)
                k = total - 11;
            for (m = k; m < total; m++)
                for (s = 1; s < 10; s++)
                    for (t = 0; t < (n % 10 ? 10 : 1); t++)
                        if(t!=s&&(((long long)a[m]) * b[total - m] * s + a[total - m - 1] * t) % n == 0 && ck()&&
                            (!aps||s<aps))
                        {
                            aptotal=total;
                            apm=m;
                            aps=s;
                            apt=t;
                        }
            if (aps)
                break;
        }
        for (int x = 0; x < apm + 1; x++)
            printf("%d",aps);
        for (int x = 0; x < aptotal - apm; x++)
            printf("%d",apt);
        printf("\n");
    }
    return 0;
}