#include <stdio.h>

int main() {
	FILE* in = fopen("kfib.in", "r");
	FILE* out = fopen("kfib.out", "w");
	int k;
	fscanf(in, "%d", &k);
	int f0 = 0, f1 = 1;
	int crt = 1;
	while (crt < k) {
		int aux = f1;
		f1 = (f0 + f1) % 666013;
		f0 = aux;
		crt++;
	}
	fprintf(out, "%d\n", f1); 
	return 0;
}