bash random sleep

        SLEEPTIME=$((RANDOM % 1000))
echo " sleep $SLEEPTIME secs ... "
sleep $SLEEPTIME;