#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[])
{
  int n = atoi(argv[1]);
  int i;
  int result = 0;

  //  printf("%d\n", n);
  for(i = 0; i < n; i++)
    result += (i + 1);

  printf("result:%d\n", result);

  return(0);
}