{"raw_statement":[{"iden":"problem statement","content":"You are given four digits $N_1, N_2, N_3$ and $N_4$. Determine if these can be arranged into the sequence of digits \"$1974$\"."},{"iden":"constraints","content":"*   $0 \\leq N_1, N_2, N_3, N_4 \\leq 9$\n*   $N_1, N_2, N_3$ and $N_4$ are integers."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N_1$ $N_2$ $N_3$ $N_4$"},{"iden":"sample input 1","content":"1 7 9 4"},{"iden":"sample output 1","content":"YES\n\nWe can get $1974$ by swapping $N_2$ and $N_3$."},{"iden":"sample input 2","content":"1 9 7 4"},{"iden":"sample output 2","content":"YES\n\nWe already have $1974$ before doing anything."},{"iden":"sample input 3","content":"1 2 9 1"},{"iden":"sample output 3","content":"NO"},{"iden":"sample input 4","content":"4 9 0 8"},{"iden":"sample output 4","content":"NO"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}