#include<stdio.h>
int main(){
    int number;
    scanf("%d", &number);
    
    printf("%01d\n", number);
    printf("%02d\n", number);
    printf("%53d\n", number);
    printf("%04d\n", number);
    printf
}