void setup() 
{
  // put your setup code here, to run once:
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(9, INPUT_PULLUP);
}

void loop() 
{
  // put your main code here, to run repeatedly:
  int state = digitalRead(9);
    if (state == LOW)
    {
      digitalWrite(13, HIGH);
    }
    else
    {
      digitalWrite(13, LOW);
    }
  
  int pstate = digitalRead(9);
    if (pstate == HIGH)
    {
      digitalWrite(12, HIGH);
    }
    else
    {
      digitalWrite(12, LOW);
    }
}