Scanf.scanf "%d" (fun n ->
    let rec loop day rest =
        let rest = if day mod 7 = 0 then rest + 6 else rest in
        let rest = rest - 1 in
        if rest = 0 then day else loop (day + 1) rest
    in
    loop 1 n |> Printf.printf "%d\n"
)