\begin{problem}{Серебряный статус в авиакомпании}{стандартный ввод}{стандартный вывод}{1 секунда}{256 мегабайт}

В авиакомпании Б для того, чтобы достичь в бонусной программе серебряного статуса, необходимо за текущий календарный год накопить $20\,000$ квалификационных миль, которые начисляют за совершённые перелёты. Мили прошлых лет, а также мили, полученные за покупки у партнёров, квалификационными не являются. Если квалификационных миль для присвоения статуса не хватает, то в конце года любые из имеющихся миль можно обменять на квалификационные. А именно, $7\,500$ миль можно обменять на $1\,000$ квалификационных, а $30\,000$ миль можно обменять на $5\,000$ квалификационных.

Евгений Васильевич накопил $n$ миль, $k$ из которых являются квалификационными. Если количества достаточно, чтобы с учётом возможных обменов достичь серебряного статуса, то менять свои мили на квалификационные Евгений Васильевич хочет так, чтобы в результате у него осталось как можно больше миль. Помогите ему~--- определите, какое максимальное общее количество миль будет у Евгения Васильевича после обменов, необходимых для получения как минимум $20\,000$ квалификационных миль, или определите, что с имеющимися милями достичь серебряного статуса невозможно.

\InputFile
Первая строка содержит одно целое число $n$ ($0 < n \le 200\,000$)~--- общее число миль, накопленных Евгением Васильевичем.

Вторая строка содержит одно целое число $k$ ($0 \le k \le n$)~--- количество квалификационных миль среди накопленных $n$ миль.

\OutputFile
Выведите одно целое число~--- максимальное количество миль, которое будет у Евгения Васильевича после оптимальных обменов, необходимых для получения как минимум $20\,000$ квалификационных миль.

В случае, если серебряного статуса достичь невозможно, выведите $-1$.

\Scoring
В данной задаче $20$ тестов, помимо тестов из условия, каждый из них оценивается в $5$ баллов. Результаты работы ваших решений на первых $20$ тестах будут доступны во время соревнования. Результаты работы на остальных $5$ тестах будут доступны после окончания соревнования.

Решения, корректно работающие \textbf{только} в случаях, когда серебряного статуса достичь невозможно, оцениваются в $0$ баллов.


\Examples

\begin{example}
\exmpfile{example.01}{example.01.a}%
\exmpfile{example.02}{example.02.a}%
\exmpfile{example.03}{example.03.a}%
\exmpfile{example.04}{example.04.a}%
\end{example}

\Note
В первом примере до серебряного статуса не хватает $2\,000$ квалификационных миль, для их получения нужно дважды обменять  $7\,500$ миль на $1\,000$ квалификационных. То есть будут потрачены $15\,000$ миль, и $2\,000$ миль будут приобретены.

Во втором примере выгоднее обменять $30\,000$ миль на $5\,000$ квалификационных.

В третьем примере для обмена придётся потратить и одну квалификационную милю.

В четвёртом примере достичь серебряного статуса нельзя.

\end{problem}

