#include <stdio.h>

int main(){
    __int64_t N;

    scanf("%lld", &N);
    printf("%lld", 264 + 52 * N);
}