<?php
$s = trim(fgets(STDIN));
$s = explode(" ", $s);

if ($s[0] > 1989 && $s[0] < 2019) {
    echo "Yes".PHP_EOL;
} elseif ($s[0] == 1989) {
    if ($s[1] == 1 && $s[2] < 8) {
        echo "No".PHP_EOL;
    } else {
        echo "Yes".PHP_EOL;
    }
} elseif ($s[0] == 2019) {
    if ($s[1] > 4) {
        echo "No".PHP_EOL;
    } else {
        echo "Yes".PHP_EOL;
    }
} else {
    echo "No".PHP_EOL;
}
?>