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

static void print_time (clock_t);

int main (void)

{
        unsigned hh, mm, ss, tt;
        long x;

        hh = 15;
        mm = 59;
        ss = 59;
        tt = 9;

        x = hh;
        x *= 60;
        x += mm;
        x *= 60;
        x += ss;
        x *= 10;
        x += tt;

        x *= CLK_TCK;
        x /= 10;

        print_time (x);

        return 0;
}



static void print_time (clock_t t)

{
        long t2;
        unsigned t3;
        unsigned hh, mm, ss;

        t2 = t * 10 / CLK_TCK;
        hh = (unsigned) (t2 / 36000L);
        t3 = (unsigned) (t2 % 36000L);
        mm = t3 / 600;
        t3 %= 600;
        ss = t3 / 10;
        t3 %= 10;

        fprintf (stdout, "Time: ");
        if (hh)
                fprintf (stdout, "%d:%02d:%02d.%01d\n", hh, mm, ss, t3);
        else
                fprintf (stdout, "%d:%02d.%01d\n", mm, ss, t3);
}