#include <stdio.h>
#include <string.h>
 
int main() {
    int counts[10] = {0};
 
    char number[1001]; 
    scanf("%1000s", number);  
 
    for (int i = 0; i < strlen(number); i++) {
        counts[number[i] - '0']++;
    }
 
    int max_digit = 0;
    for (int i = 1; i < 10; i++) {
        if (counts[i] > counts[max_digit]) {
            max_digit = i;
        }
    }
 
    printf("%d: %d\n", max_digit, counts[max_digit]);
 
    return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmludCBtYWluKCkgewogICAgaW50IGNvdW50c1sxMF0gPSB7MH07CiAgICAKICAgIGNoYXIgbnVtYmVyWzEwMDFdOyAKICAgIHNjYW5mKCIlMTAwMHMiLCBudW1iZXIpOyAgCiAgICAKICAgIGZvciAoaW50IGkgPSAwOyBpIDwgc3RybGVuKG51bWJlcik7IGkrKykgewogICAgICAgIGNvdW50c1tudW1iZXJbaV0gLSAnMCddKys7CiAgICB9CiAgICAKICAgIGludCBtYXhfZGlnaXQgPSAwOwogICAgZm9yIChpbnQgaSA9IDE7IGkgPCAxMDsgaSsrKSB7CiAgICAgICAgaWYgKGNvdW50c1tpXSA+IGNvdW50c1ttYXhfZGlnaXRdKSB7CiAgICAgICAgICAgIG1heF9kaWdpdCA9IGk7CiAgICAgICAgfQogICAgfQogICAgCiAgICBwcmludGYoIiVkOiAlZFxuIiwgbWF4X2RpZ2l0LCBjb3VudHNbbWF4X2RpZ2l0XSk7CiAgICAKICAgIHJldHVybiAwOwp9Cg==

MjgwMDIy

280022