#include <stdio.h>

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