<<--RandomDemo.load>> <<--Created by Ch. Jacobi; August 7, 1985 3:45:34 pm PDT>> <<--Last Edited by: Christian Jacobi, August 12, 1986 5:18:20 pm PDT>> run RandomDemoImpl RandomDemoClient1 RandomDemoClient2