gerrit.morgengrauen.info / mudlib-public / 08d43317ece48a5cd2be493026c24fc343bc12d7 / doc / efun-mg / random