K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1998-04-06T11:40:42.000000Z
K 7
svn:log
V 18
Use read_random()

END