#include <stdio.h>

int main(void) {
    
    int num = 0;
    int n = 0;
    char flags[10] = { 0 };
    scanf("%d", &num);

    while(num % 10) {
        n = num % 10;
        if(!flags[n])
            printf("%d", n);
        flags[n] = 1;
        num /= 10;
    }
}