#include <stdio.h>

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