//
//	read integers from a file and count # of 12?

import java.util.Scanner;
class CountNum
{
	public static void main(String[] args)
	{
		Scanner input = new Scanner(System.in);
		int a;
		int count_12 = 0;

		while(input.hasNextInt())
		{
			a = input.nextInt();	// 12 7 ...
			if(a == 12)
				count_12 ++;
		}

		System.out.println("# of 12: " + count_12);
		System.out.println("\n\n\nDone.\n\n\n");
	}
}