#include int main(void){ int N; scanf("%11d",&N); printf("%11d\n",264+52*N); return 0; }