#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+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmludCBtYWluKCkgewogICAgaW50IGNvdW50c1sxMF0gPSB7MH07CiAgICAKICAgIGNoYXIgbnVtYmVyWzEwMDFdOyAKICAgIHNjYW5mKCIlMTAwMHMiLCBudW1iZXIpOyAgCiAgICAKICAKICAgIGZvciAoaW50IGkgPSAwOyBpIDwgc3RybGVuKG51bWJlcik7IGkrKykgewogICAgICAgIGNvdW50c1tudW1iZXJbaV0gLSAnMCddKys7CiAgICB9CiAgICAKICAgCiAgICBpbnQgbWF4X2RpZ2l0ID0gMDsKICAgIGZvciAoaW50IGkgPSAxOyBpIDwgMTA7IGkrKykgewogICAgICAgIGlmIChjb3VudHNbaV0gPiBjb3VudHNbbWF4X2RpZ2l0XSkgewogICAgICAgICAgICBtYXhfZGlnaXQgPSBpOwogICAgICAgIH0KICAgIH0KICAgIAogICAKICAgIHByaW50ZigiJWQ6ICVkXG4iLCBtYXhfZGlnaXQsIGNvdW50c1ttYXhfZGlnaXRdKTsKICAgIAogICAgcmV0dXJuIDA7Cn0K