#include<stdio.h>   /**/
void main()
{
	printf("\n\n");
	int k,m,n;

	for(k=0,m=1;m<4;m++)
	{
		for(n=1;n<5;n++)
		{
			if(m*n%3==0)continue;k++;
		}
		
	}
	printf("\tk=%d\n",k);
}