#include <stdio.h>
#include <windows.h>

int main(int argc, char **argv)
{
    SYSTEMTIME    st;
    GetLocalTime(&st);
    printf("%04d%02d%02d%02d%02d%02d.%03d\n",
        st.wYear, st.wMonth,  st.wDay,
        st.wHour, st.wMinute, st.wSecond, st.wMilliseconds);
    return 0;
}