Added output of the random seed to user