print<>=~/^(1[345]*|[67]*[78])[234]$/?Yes:No