#include<stdio.h>
int main()
{
int numble=0;
int count=0;
char str[10001]={'\0'};
int len=0;
while(scanf("%s",str)!=EOF);
int max=str[0];
for(int i=0;str[i]!='\0';i++)
{
if(str[i]>max)
{
max=str[i];
numble=i;
}
}
printf("%c",max);
for(int i=0;str[i]!='\0';i++)
{
if(str[i]==max)
{
count++;
}
}
printf("%d",count);
}
//
