time-stamp server uses (Re: Question on U.S. Postal Service and crypto)