import times

echo(getDateStr())
echo(getClockStr())
echo(getTime())