#include <stdio.h>

int main() {
    int n=0;
    scanf("%d",&n);
    int sum=n*2+n*(n-1)*3/2;
    printf("%d",sum);

    return 0;
}