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