#include<stdio.h>
int main()
{
	int n,i;
	scanf("%d",&n);
	for (i=2;i<=n;i++)
		if(i%3==0)
			 printf("%d ",i);
	return 0;
}