Re: [Zope] What are the Zope time formats without leading zeros?