trueRndSeed_fv0