--- a/Random.st	Thu Feb 13 22:38:13 2020 +0100
+++ b/Random.st	Sat Feb 15 00:45:47 2020 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
               All Rights Reserved
@@ -305,7 +307,7 @@
     hash := MD5Stream new.
     hash 
         nextPut:RandomSalt;
-        nextPut:Time microsecondClockValue; 
+        nextPut:OperatingSystem getMicrosecondTime; 
         nextPut:OperatingSystem getProcessId; 
         nextPut:(ObjectMemory addressOf:Object new); 
         nextPut:ObjectMemory oldSpaceUsed;