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