func main()
	var a: int :: cui@inputInt()
	var ans: int :: 0
	var temp: int :: 1
	for(1, a)
		do ans :+ temp
		do temp :+ 1
	end for
	do cui@print(ans.toStr())
end func