*-----------------------------------------------------------------------
*     RANDLIB : LIBRARY FOR RANDOM NUMBER GENERATOR   V05L00 : 95/06/09
