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