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


main()
{
struct timeb timebuffer;
char *timeline;

ftime(&timebuffer);
timeline = ctime(&(timebuffer.time));
printf("%.19s.%hu %s",timeline, timebuffer.millitm, &timeline[20]);
}