#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;
}