#include<stdio.h>
void main()
{
  int k;
  for(k=4;k<=10;k++)
  {
    if(k%3==0)
      continue;
    printf("%d",k);
  }
}