let n = stdin.ReadLine () let rec count (n: string) = if n.Length = 1 then (n.[0] |> string |> int) / 3 + 1 elif (n.[0] |> string |> int) % 3 = 0 then ((n.[0] |> string |> int) / 3) * (4. ** (float n.Length - 1.) |> int) + count n.[1..] else ((n.[0] |> string |> int) / 3 + 1) * (4. ** (float n.Length - 1.) |> int) if n.Length = 2 then ((int n)-9) / 3 else count n + 14 |> printfn "%d"