void setup() {
  // initialize digital pin LED_BUILTIN as an output.
  pinMode(LED_BUILTIN, OUTPUT);
  pinMode(7, INPUT);
  pinMode(8, OUTPUT);
  pinMode(9, OUTPUT);
  pinMode(13, OUTPUT);
}

int i = 0;

// the loop function runs over and over again forever
void loop() {
  if(digitalRead(7) == HIGH)
  {
    while(digitalRead(7) == HIGH)
    {
      digitalWrite(13, HIGH);
      delay(1000 + 100*i);
      digitalWrite(13, LOW);
      delay(1000);
      i++;
    }
  }
  else
  {
    digitalWrite(13, HIGH);
    delay(1000);
    digitalWrite(13, LOW);
    delay(1000);
  }
}