Re: default-random-source sebastian.egner@xxxxxx 18 Feb 2002 17:20 UTC