svoid robot_pressAndRelease_at_englishLayout() {
  robot_keyPressAndReleaseWithModifiers(KeyEvent.VK_2, KeyEvent.SHIFT_MASK);
}