#include <stdio.h>

int main(void) {
	// your code goes here
	char ch;
	ch=getchar();
	ch=ch+32;
	putchar(ch);
}