<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>There is one point about the documentation for random() and
setseed() that is missing. What is used to seed random() if
setseed() isn't called first? I assume it's something like
/dev/random or /dev/urandom, but that's just a guess. Can someone
please enlighten me?</p>
<p>Thanks for the help!</p>
<p>Carl<br>
</p>
</body>
</html>