#include <ctype.h>
#include <stdio.h>
#include <string.h>
int main() {
    char input[200];
    while (scanf("%s", input) != EOF) { 
        int startindex[100];
        int numofstart = 0;
        int maxlen = 0;
        int len = strlen(input);
        for(int i = 0; i < len; i++) {
            if(isdigit(input[i])) {
                int tempmax = 0;
                int tempstart = i;
                while(i < len && isdigit(input[i])) {
                    tempmax++;
                    // printf("isdigit %d ,tempmax %d\n", input[i] - '0', tempmax);
                    
                    i++;
                }
                if(tempmax > 0 && tempmax == maxlen) {
                    startindex[numofstart++] = tempstart;
                } else if(tempmax > maxlen) {
                    maxlen = tempmax;
                    numofstart = 0;
                    startindex[numofstart++] = tempstart;
                }
            }
        }


        for(int i = 0; i < numofstart; i++) {
            for(int j = 0; j < maxlen; j++) {
                printf("%c", input[startindex[i]+j]);
            }
        }
        printf(",%d\n", maxlen);
    }
    return 0;
}