#include <stdio.h>

int main(void) {
	int a=3;
	do{a=a*2-1;
	}
	while(a<=10000);
	
	printf("%d",a);
	return 0;
}