Random int

This function is from the second link posted by BillHo

 void getRandomNo() {
  int rand = random(10,13);
  if(rand == previousNo) {
    getRandomNo();
  } else {
    randomNumber = rand;
    previousNo = randomNumber;
  }

(SNIPPET from second link posted by BillHo