#include <stdio.h>

int main() { int n=0; int k=1; int a=0;

scanf("%d",&n);

while(n>0){ if(n%(2k)==0){ a=(n+3)n/2; printf("%d",a); break; }else{ a=(nn+3n-2)/2; printf("%d",a); break; } } return 0; }