Emoji Input Difficulty

Interview

Time limit1sMemory limit1024 MB

Summary

Given an emoji name like :chino_shock:, compute its input difficulty: its length plus the colon count plus 5 times the underscore count.

Level: Easy1 of 10
Topics: String, Implementation
Solved: No attempts yet

Problem

Figure 1. sait2000, who started using :chino_shock: right after opening the Anime Cup server

Figure 2. sait2000 comparing the input difficulty of :chinoaww: and :chino_shock:

sait2000 added the emoji :chino_shock: first after opening the Anime Cup server. While using several emojis, including :chino_shock:, sait2000 found that emojis with an underscore (_) in their names, like :chino_shock:, are harder to type than emojis without one, like :chinoaww:.

An emoji starts with one colon (:) and ends with one colon. The characters between the colons are each either a lowercase English letter or an underscore (_). sait2000 defined the input difficulty of an emoji as $(\text{total length of the emoji}) + (\text{number of colons}) + (\text{number of underscores}) \times 5$ . By this definition, :chino_shock: has a total length of $13$ , 2 colons, and 1 underscore, so its input difficulty is $13+2+1\times 5=20$ .

Given an emoji, compute its input difficulty and print it.

Input

The first line contains an emoji. The given emoji always starts with :chino and ends with :, and its total length is at least $7$ and at most $32$ .

Output

Print the input difficulty of the emoji.

Examples3

Example 1
Input
```
:chino_shock:
```
Expected output
```
20
```
Example 2
Input
```
:chinoaww:
```
Expected output
```
12
```
Example 3
Input
```
:chino_very_shock:
```
Expected output
```
30
```