#include <Keyboard.h>

void setup() {
  pinMode(2, INPUT_PULLUP);
  pinMode(3, INPUT_PULLUP);
}

void loop() {
  if (digitalRead(2) == HIGH) {
    Keyboard.press(KEY_F12);
    while(digitalRead(2) == HIGH);
    delay(500);
  }
  if (digitalRead(3) == HIGH) {
    Keyboard.release(KEY_F12);
    while(digitalRead(3) == HIGH);
    delay(500);
  }
}