#include <bits/stdc++.h>
using namespace std;
int n;
long long ans;
int main() {
  ans = 1;
  scanf("%d", &n);
  for (int i = 1; i <= n; i++) {
    ans <<= 1;
    if (ans == 8192) ans = 8092;
  }
  printf("%I64d\n", ans);
  return 0;
}
