In AtCoder, the top $10$ rated players' usernames are displayed with a gold crown, and the top-rated player's username is displayed with a platinum crown.

At the start of this contest, the usernames and ratings of the top $10$ rated players in the algorithm category are as follows:

tourist 3858
ksun48 3679
Benq 3658
Um_nik 3648
apiad 3638
Stonefeang 3630
ecnerwala 3613
mnbvmar 3555
newbiedmy 3516
semiexp 3481

You are given the username $S$ of one of these players. Print that player's rating.

The input is given from Standard Input in the following format:

```
$S$
```

Print the rating of the corresponding player in one line.

-   $S$ is equal to one of the usernames of the top $10$ rated players in the algorithm category.

3858

At the start of this contest, the rating of  tourist in the algorithm category is $3858$.

3481

At the start of this contest, the rating of  semiexp in the algorithm category is $3481$.