Arduino DIY easy LED controller

//these are your Arduino outputs
int led1 = 4; //Red
int led2 = 5; //Green
int led3 = 6; //Blue
int var = 0; //random var

void setup() {
pinMode(led1,OUTPUT); //don't forget too tell the IDE they are OUTPUTs
pinMode(led2,OUTPUT);
pinMode(led3,OUTPUT);
}

void loop() {

var = random(7); //use 7 because you have 7 possibilities (0->6 makes 7)

if (var == 0){
  red();
}
if (var == 1){
  green();
}
if (var == 2){
  blue();
}
if (var == 3){
  rg();
}
if (var==4){
  gb();
}
if (var == 5){
  rb();
}
if (var == 6){
  white();
}

delay(2000); //change this value too change the delay between each color change (it's in ms, 2000 = 2s)

}

float red(){
  digitalWrite(led1,HIGH);
  digitalWrite(led2,LOW);
  digitalWrite(led3,LOW);
  }
float green(){
  digitalWrite(led1,LOW);
  digitalWrite(led2,HIGH);
  digitalWrite(led3,LOW);
  }
float blue(){
  digitalWrite(led1,LOW);
  digitalWrite(led2,LOW);
  digitalWrite(led3,HIGH);
  }
float rg(){
  digitalWrite(led1,HIGH);
  digitalWrite(led2,HIGH);
  digitalWrite(led3,LOW);
  }
float gb(){
  digitalWrite(led1,LOW);
  digitalWrite(led2,HIGH);
  digitalWrite(led3,HIGH);
  }
float rb(){
  digitalWrite(led1,HIGH);
  digitalWrite(led2,LOW);
  digitalWrite(led3,HIGH);
  }
float white(){
  digitalWrite(led1,HIGH);
  digitalWrite(led2,HIGH);
  digitalWrite(led3,HIGH);
  }