options random home http://www.fmi.uni-passau.de/archive/doc/unix/unixhelp/Unixhelp/shell_time.html (Einblicke ins Internet, ~06/1995)
[time]

[time]

The amount of CPU time used by this process.