#include <stdio.h>

int main(){
    int n;
    scanf("%d", &n);
    if (n == 1) printf("1251\n");
    else if (n == 2) printf("10275\n");
    else printf("841341\n");
    return 0;
}