<?php
 fscanf(STDIN, '%d %d', $a, $b);
 $k = fgets(STDIN);
 $input_array = explode(" ", $k);
 sort($input_array);
 $price = 0;
 for($i = 0; $i < $b; $i++) {
   $price += $input_array[$i]; 
 } 
  echo $price;
?>
