{"raw_statement":[{"iden":"statement","content":"You consider a number to be \"lucky\" if it has any digits equal to 7. For example, 7377, 87, and 98789 are lucky, while 6, 300, and 561 are not lucky. Given a number, figure out whether or not it is a lucky number.\n\nThe only line of input consists of a single integer $n$.\n\nIf $n$ is a lucky number, output \"YES\" (no quotes). Otherwise, output \"NO\" (no quotes).\n\n"},{"iden":"input","content":"The only line of input consists of a single integer $n$."},{"iden":"output","content":"If $n$ is a lucky number, output \"YES\" (no quotes). Otherwise, output \"NO\" (no quotes)."},{"iden":"examples","content":"Input7377\nOutputYES\nInput1101\nOutputNO\nInput3060\nOutputNO\n"}],"translated_statement":null,"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ n \\in \\mathbb{Z} $ be the input integer.\n\n**Constraints**  \n$ n \\in \\mathbb{Z} $, with no explicit bounds given.\n\n**Objective**  \nDetermine whether the decimal representation of $ n $ contains at least one digit equal to $ 7 $.  \nDefine:  \n$$\n\\text{Lucky}(n) = \n\\begin{cases}\n\\text{YES} & \\text{if } \\exists d \\in \\text{digits}(n) \\text{ such that } d = 7 \\\\\n\\text{NO} & \\text{otherwise}\n\\end{cases}\n$$","simple_statement":"Given an integer n, check if it contains the digit 7. If yes, print \"YES\", otherwise print \"NO\".","has_page_source":false}