int getRandomNumber(){
    return 4; //chosen by fair dice roll
              //guaranteed to be random
}