package main

import (
    "fmt"
    "os"
    "strconv"
)

func main() {
    x, _ := strconv.Atoi(os.Args[1])

    d := []int{2, 2, -1, -1, 2, -1, -1}
    i := 0
    ans := 0
    for x != 0 {
        x += d[i]
        ans += abs(d[i])
        i = (i + 1) % 7
    }
    fmt.Println(ans)
}

func abs(x int) int {
    if x < 0 {
        return -x
    }
    return x
}