#include <stdio.h>

int main(void)
{
    char a;
    scanf("%hhd",a);
    
    printf("%d\n",(int)a*(a+1)/2);
    return 0;
}