print sprintf("%4d-%02d-%02d %02d:%02d:%02d.000",
               Today_and_Now());