--- db/prgsrc/random.html 2004/01/03 00:24:45 1.6 +++ db/prgsrc/random.html 2004/03/11 07:14:14 1.7 @@ -8,7 +8,7 @@