5
15
<?php $inputText=trim(stream_get_contents(STDIN)); if($inputText==='') exit; $n=intval($inputText); echo intdiv($n*($n+1),2); ?>
<?php $inputText=trim(stream_get_contents(STDIN)); if($inputText==='') exit; $n=intval($inputText); echo intdiv($n*($n+1),2); ?>