#include<stdio.h>
int main()
{
	int x= 0;
	while ((x = getchar()) != EOF)
	{
		
		getchar();
		putchar(x + 32);
        printf("\n");
	}
	return 0;
}