Code for project two in white book

int switchState = 0;
int const push = 2;
int const LED_RED = 3 ;
int const LED_RED2 = 4 ;
int const LED_GREEN = 5 ;
void setup ()
{
  pinMode(LED_RED,OUTPUT) ;
  pinMode(LED_RED2,OUTPUT) ;
  pinMode(LED_GREEN,OUTPUT) ;
  pinMode(push,INPUT) ;
}
 void loop()
 {
  switchState = digitalRead(push) ;
  if (switchState == LOW)
   {digitalWrite(LED_RED,HIGH) ;
    digitalWrite(LED_RED2,LOW) ;
    digitalWrite(LED_GREEN,LOW) ;
  }
else
 {
  digitalWrite(LED_RED, LOW) ;
  digitalWrite(LED_RED2, LOW) ;
  digitalWrite(LED_GREEN, HIGH) ;
  delay(250) ;
  digitalWrite(LED_RED2, HIGH) ;
  digitalWrite(LED_GREEN, LOW) ;
  delay(250) ;
 }


}