Simple utility makes a serial number from a date suitable for
a more granular time timekeeping. The format used takes the date
into account with millisecond precision, and multiplicates it with 10.000
to reserve space for sub-millisecond precision.
author: Brautigam Robert version: Revision: $Revision$