// set pin numbers
const int Red = 25;  // the number of the pushbutton pin
const int Orange =  26;    // the number of the LED pin
const int Green=   27;
// variable for storing the pushbutton status 
//int buttonState = 0;

void setup() {
  
  // initialize the LED pin as an output
  pinMode(Red, OUTPUT);
  pinMode(Orange, OUTPUT);
  pinMode(Green, OUTPUT);
}

void loop() {
  // read the state of the pushbutton value
  //buttonState = digitalRead(buttonPin);
  //Serial.println(buttonState);
  // check if the pushbutton is pressed.
  // if it is, the buttonState is HIGH
  //if (buttonState == HIGH) {
    // turn LED on
    digitalWrite(Red, HIGH);
    digitalWrite(Orange, LOW);
    digitalWrite(Green, LOW);
    Serial.println("Red");
    delay(10000);
    digitalWrite(Red, LOW);
    digitalWrite(Orange, LOW);
    digitalWrite(Green, HIGH);
    Serial.println("Green");
    delay(10000);
    digitalWrite(Red, LOW);
    digitalWrite(Orange, HIGH);
    digitalWrite(Green, LOW);
    Serial.println("Orange");
    delay(4000);

  }