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

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