<?php
// No. 395

$age = trim(fgets(STDIN));
$x = $age - 7;

echo ($x > 7) ? $x : -1;
echo PHP_EOL;