#include <stdio.h>

int main() {
 char chars[3];
 for(int i = 0;i<3;i++){
    scanf("%c",&chars[i]);
    getchar();
    chars[i] = chars[i]+32;
printf("%c\n",chars[i]);
 }
    return 0;
}