#include<stdio.h>
int main()
{
    char a = '0';
    while (~scanf("%c", &a) != 0)//\n也被读进去了
    {
        printf("%c", a + 32);
        getchar();
    }
        
    return 0;
}