#include <math.h>

double ceil (double x);
		

#include <math.h>

#include <stdio.h>
#include <string.h>

int main(int argc, char **argv)
{
    double a;
    char buf[80];

    while(1)
    {
        if (fgets( buf, 79, stdin) == NULL)
            break;
        printf("%lu : %f\n", atol(buf), ceil(7.8));
    }
}