void turnLED_red(){
  digitalWrite(LED_red, HIGH);
  digitalWrite(LED_Green, LOW);
  
}

void turnLED_green(){
  digitalWrite(LED_Green, HIGH);
  digitalWrite(LED_red, LOW);
}

void turnLED_yellow(){
  digitalWrite(LED_Green, HIGH);
  digitalWrite(LED_red, HIGH);
}


void turnLED_off(){
  digitalWrite(LED_Green, LOW);
  digitalWrite(LED_red, LOW);
}