int red = 9, yellow = 8, green = 7, k = 2;
unsigned long vaqt = 0, a = 0;
void setup() {
  pinMode(red, OUTPUT);
  pinMode(yellow, OUTPUT);
  pinMode(green, OUTPUT);
  pinMode(k, INPUT);
  Serial.begin(9600);
}

void loop() {
  if(millis() - vaqt >= 1000){
    a++;
    vaqt = millis();
    Serial.println(a);
  }
  if(digitalRead(k) == 1){
    while(digitalRead(2) == 1);
    digitalWrite(yellow, LOW);
    digitalWrite(green, LOW);
    a = 0;
  }
  if(a >= 0 && a <= 5) {
    digitalWrite(red, HIGH);
    digitalWrite(green, LOW);
  }
  if(a >= 5 && a <= 7) digitalWrite(yellow, HIGH);
  if(a >= 8 && a <= 12) {
    digitalWrite(red, LOW);
    digitalWrite(yellow, LOW);
    digitalWrite(green, HIGH);
  }
  if(a == 13) a = 0;
}