#include <stdio.h>
#include <time.h>

#define LENGTH 40
#define THRESHOLD 5

int main(void)
{
    int        t, p;
    time_t     now;

    p = 0;
    while (!feof(stdin)) {
        for (t = 1; getchar() & 0x80; t++);
        if (1 <= t && t <= THRESHOLD)
            p++;
        else
            p = 0;
        for (t = 1; !(getchar() & 0x80); t++);
        if (1 <= t && t <= THRESHOLD)
            p++;
        else
            p = 0;
        if (p > LENGTH) {
            now = time(NULL);
            printf("%d: %s", p, ctime(&now));
            p = 0;
            fflush(stdout);
        }
    }
    exit(0);
}