reads the current seed from file CMRGSeed.txt. If the file does not exists, saves the default value {12345,12345,12345,12345,12345,12345}
function ReadSeed output Seed out; end ReadSeed;