#include <stdio.h>

int main() {
    char ch1, ch2,ch3;
    char c;
    scanf("%c\n%c\n%c", &ch1, &ch2,&ch3);
    // 循环读取字符,直到遇到换行符或文件结束符
    while ((c = getchar()) != '\n' && c != EOF) {
        putchar(c); // 打印读取的字符(非换行符)
    }
   
    
    ch1 = ch1 + 32;
    ch2 = ch2 + 32;
    ch3 = ch3 + 32;

    printf("%c\n%c\n%c", ch1,ch2,ch3);
    return 0;
}