# test the new time module

import
  times

write(stdout, TimeToString(getTime()) )