#include<stdio.h>
int main()
{
    while(1)
{
    char s[2001];
    char c;
    int i=0;
    while((c=getchar())!='\n')
    {
        s[i]=c;
        i++;
    }
    s[i]='\0';
    i=1;
    int k=0;
    while(s[i]!='\0')
    {
        if(s[k]<s[i])
        {
            k=i;
        }
        i++;
    }
    i=0;
    while(s[i]!='\0')
    {
		if(s[i]==s[k])
		{
			printf("%c(max)",s[i]);
		}
		else
		{
			printf("%c",s[i]);
		}
        i++;
    }
    putchar('\n');
}
    return 0;
}