#include <stdio.h>

int main() {
    int c  = 0;
    int x = 0;
    char hash[10] = {0};
    int out = 0;
    while(~scanf("%d",&c))
    {
        while(c!=0)
        {
            x= c%10;
            c = c/10;
            if(hash[x] == 0 )
            {
                hash[x] = 1;
                out = 10*out + x;
            }
        }
    }
    printf("%d",out);
    return 0;
}