How to Time-Stamp a Digital Document