/* 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]);
        }
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKICAgIHByaXZhdGUgc3RhdGljIFJhbmRvbSByYW5kb20gPSBuZXcgUmFuZG9tKCk7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKICAgICAgICBpbnRbXSBtYXAgPSBuZXcgaW50WzddOwogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgNzsgaSsrKSB7CiAgICAgICAgCW1hcFtpXSA9IDA7CiAgICAgICAgfQogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgMTAwMDAwMDA7IGkrKykgewogICAgCQlyYW5kb20uc2V0U2VlZChTeXN0ZW0ubmFub1RpbWUoKSk7CiAgICAgICAgICAgIG1hcFtyYW5kb20ubmV4dEludCg3KV0rKzsKICAgICAgICB9CiAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCA3OyBpKyspIHsKICAgICAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKGkgKyAiOiAiICsgbWFwW2ldKTsKICAgICAgICB9Cgl9Cn0=