just use "$RANDOM"