RE: [Zope] Random # generator