
     ccccttttiiiimmmmeeee((((3333))))               MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444))))                ccccttttiiiimmmmeeee((((3333))))

     NNNNAAAAMMMMEEEE
          ctime() - return a time string

     SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
          string ctime( int clock );

     DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
          Gives a nice string with current date and time, with the
          argument 'clock' that is the number of seconds since 1970.

     SSSSEEEEEEEE AAAALLLLSSSSOOOO
          time(3), time_expression(3), localtime(3), uptime(3)

     Page 1                                          (printed 3/16/95)

