#include<stdio.h>
int main()
{
    int num;
    scanf("%d,&num);
    printf("01%d\n", num);
    printf("02%d\n", num);
    printf("03%d\n", num);
    printf("04%d\n", num);
    printf("05%d\n", num);
    printf("06%d\n", num);
    return 0;
}