/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
    private static Random random = new Random();
	public static void main (String[] args) throws java.lang.Exception
	{
        int[] map = new int[7];
        for (int i = 0; i < 7; i++) {
        	map[i] = 0;
        }
        for (int i = 0; i < 10000000; i++) {
    		random.setSeed(System.nanoTime());
            map[random.nextInt(7)]++;
        }
        for (int i = 0; i < 7; i++) {
            System.out.println(i + ": " + map[i]);
        }
	}
}