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