#include <stdio.h>

{ 
    int n
    
    scanf int("%d",n)
    Printf ("%d\n",n)
    printf ("02%d\n",n)
    printf ("03%d\n",n)
    printf ("04%d\n",n)
    printf ("05%d\n",n)
    return(0)
}