{"raw_statement":[{"iden":"problem statement","content":"You are given an integer $N$ between $0$ and $9999$ (inclusive).\nPrint it as a four-digit string after appending to it the necessary number of leading zeros."},{"iden":"constraints","content":"*   $0 \\leq N \\leq 9999$\n*   $N$ is an integer."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N$"},{"iden":"sample input 1","content":"321"},{"iden":"sample output 1","content":"0321\n\n$321$ has three digits, so we need to add one leading zero to it to make it have four digits."},{"iden":"sample input 2","content":"7777"},{"iden":"sample output 2","content":"7777"},{"iden":"sample input 3","content":"1"},{"iden":"sample output 3","content":"0001"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}