Đồ ăn trên máy bay

Một chiếc máy bay có vô số hàng ghế, đánh số bằng các số nguyên dương bắt đầu từ $1$ tính từ buồng lái về phía đuôi. Mỗi hàng có sáu ghế, ký hiệu bằng các chữ cái từ 'a' đến 'f'. Ghế 'a', 'b', 'c' nằm bên trái lối đi (nhìn theo hướng buồng lái), còn ghế 'd', 'e', 'f' nằm bên phải. Ghế 'a' và 'f' sát cửa sổ, ghế 'c' và 'd' sát lối đi.

Hai tiếp viên bắt đầu phục vụ đồ ăn, đi từ những hàng đầu tiên về phía đuôi, luôn giữ khoảng cách hai hàng với nhau vì xe đẩy đồ ăn. Ban đầu tiếp viên thứ nhất phục vụ hàng $1$, tiếp viên thứ hai phục vụ hàng $3$. Khi cả hai hàng xong, họ cùng tiến lên một hàng: tiếp viên thứ nhất phục vụ hàng $2$, tiếp viên thứ hai phục vụ hàng $4$. Sau đó họ tiến lên ba hàng: tiếp viên thứ nhất phục vụ hàng $5$, tiếp viên thứ hai phục vụ hàng $7$. Rồi lại tiến lên một hàng, và cứ thế tiếp tục.

Hai tiếp viên làm việc với cùng tốc độ: mất đúng $1$ giây để phục vụ một hành khách, và $1$ giây để đi qua một hàng. Mỗi tiếp viên trước tiên phục vụ các hành khách ở phía bên phải lối đi, sau đó mới đến phía bên trái (nhìn theo hướng buồng lái). Trong mỗi phía, họ phục vụ theo thứ tự từ cửa sổ vào lối đi. Do đó, hành khách đầu tiên được phục vụ trong mỗi hàng ngồi ở ghế 'f', và người cuối cùng ngồi ở ghế 'c'. Giả sử tất cả các ghế đều có người ngồi.

An ngồi ở ghế $s$ thuộc hàng $n$ và muốn biết phải chờ bao nhiêu giây trước khi được phục vụ đồ ăn.

Dữ liệu vào

Một dòng duy nhất chứa mô tả vị trí ghế của An theo định dạng $ns$, trong đó $n$ ($1\le n\le {10}^{18}$) là chỉ số hàng và $s$ là ghế trong hàng đó (một chữ cái từ 'a' đến 'f'). Chỉ số hàng và ghế viết liền nhau, không có dấu cách.

Dữ liệu ra

In ra một số nguyên: số giây An phải chờ cho đến khi được phục vụ.

Ví dụ