#include <stdio.h>
#include <string.h>
#include <ctype.h>
int main() {
    FILE *p = fopen("input.txt", "r"); // treba da procitame odnosno vo read mode
    char niza[101];
    while(fgets(niza, 100, p) != NULL) {
        int n = strlen(niza); // dolzhina na samiot red
        int broj_na_cifri = 0;
        int cifri[101]; // niza vo koja ke gi cuvak site cifri koi treba da gi pecatam vo rastecki redosled
        int brojac = 0;
        for(int i = 0; i < n; i++) {
            if(isdigit(niza[i])) {
                broj_na_cifri += 1;
                cifri[brojac] = (niza[i] - '0'); // ova znaci deka od char ke pretvorime vo integer
                brojac += 1;
            }
        }
        // rasporedi gi cifrite vo rastecki redosled
        for(int i = 0; i < brojac; i++) { // pomini ja celata niza
            for(int j = i + 1; j < brojac; j++) { // za sekoj clen proveri go clenot sto e desno od nizata
                if(cifri[i] > cifri[j]) { // ako cifri[i] treba da e podesno vo nizata, zameni gi mestata na cifri[i] i cifri[j]
                    int pomosna = cifri[i];
                    cifri[i] = cifri[j];
                    cifri[j] = pomosna;
                }
            }
        }
        printf("%d : ", broj_na_cifri);
        for(int i = 0; i < brojac; i++) {
            printf("%d", cifri[i]);
        }
        printf("\n");
    }
    return 0;
}