<?php $n = trim(fgets(STDIN)); $c = explode(' ', trim(fgets(STDIN))); $sum = array_sum($c) / 10; $ans = 0; for ($i = 0; $i < $n; $i++) $ans += $c[$i] <= $sum ? 30 : 0; echo $ans; ?>