fun main(args: Array<String>){
    val arr = readLine()!!.map { Integer.parseInt(it.toString()) }.reversed().toTypedArray()
    val ans = if(getAns(arr)) "Yes" else "No"
    println(ans)
}

fun getAns(list:Array<Int>):Boolean {
    if(list.size <= 1) {
        return false;
    }
    var nums = list.toMutableList()
    while (nums.size > 1) {
        if(nums[0] < 2 || nums[0] > 4) {
            return false
        }
        nums.removeAt(0)
        for(i in nums.indices) {
            if(nums[i] > 0) {
                nums[i] -= 1
                break
            } else{
                nums[i] = 9
            }
        }
    }
    return (nums[0] in 6..7) || nums[0] == 0
}