svoid robot_type_leftShift_functionKey(int functionKeyNr) {
  robot_keyPressAndReleaseWithModifiers(KeyEvent.VK_F1+functionKeyNr-1, KeyEvent.SHIFT_MASK);
}