/ie3fos.F/1.1.1.1/Thu Feb 15 17:50:22 1996//
/ie3tos.F/1.1.1.1/Thu Feb 15 17:50:22 1996//
/rndm.F/1.1.1.1/Thu Feb 15 17:50:22 1996//
D