print [system date]; print [system date +%s.%N]