{"raw_statement":[{"iden":"problem statement","content":"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.\nAt the start of this contest, the usernames and ratings of the top $10$ rated players in the algorithm category are as follows:\n\ntourist 3858\nksun48 3679\nBenq 3658\nUm_nik 3648\napiad 3638\nStonefeang 3630\necnerwala 3613\nmnbvmar 3555\nnewbiedmy 3516\nsemiexp 3481\n\nYou are given the username $S$ of one of these players. Print that player's rating."},{"iden":"constraints","content":"*   $S$ is equal to one of the usernames of the top $10$ rated players in the algorithm category."},{"iden":"input","content":"The input is given from Standard Input in the following format:\n\n$S$"},{"iden":"sample input 1","content":"tourist"},{"iden":"sample output 1","content":"3858\n\nAt the start of this contest, the rating of ![image](/assets/icon/crown4000.gif) [tourist](/users/tourist) in the algorithm category is $3858$."},{"iden":"sample input 2","content":"semiexp"},{"iden":"sample output 2","content":"3481\n\nAt the start of this contest, the rating of ![image](/assets/icon/crown_gold.png) [semiexp](/users/semiexp) in the algorithm category is $3481$."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}