--- src/search.c.bak	Tue May 15 13:08:14 2001
+++ src/search.c	Fri May 18 16:22:44 2001
@@ -1239,7 +1239,7 @@
 int i;
 time_t tclock;
 	tclock=time(0);
-	srand((unsigned)tclock);
+	srand((unsigned)(tclock^(getpid()<<16)));
 	for(i=0;i<MAXRANDOM;i++)
 		Randoms[i]=0;
 }
