added $RANDOM seed