#include<stdio.h>
int main(){
    int a[10];
    scanf("%d",&a);
    printf("1234");
    return 0;
}