Re: set-random-source-state! sebastian.egner@xxxxxx 19 Feb 2002 13:07 UTC