<?php
$version1 = trim(fgets(STDIN));
$version2 = trim(fgets(STDIN));
$ver1 = (int)str_replace(".", "", $version1);
$ver2 = (int)str_replace(".", "", $version2);
if ($ver1 >= $ver2) {
    echo "YES";
} else {
    echo "NO";
}