seventeen a | a > 14 = a - 7
            | otherwise = -1

main = getLine >>= print . seventeen . read