//合法的IP地址为: a、b、c、d都是0-255的整数。
#include<stdio.h>
int main() {
    int a, b, c, d;
    char c1, c2, c3;
    while (scanf("%d%c%d%c%d%c%d", &a, &c1, &b, &c2, &c, &c3, &d) != EOF) {
        if ((a >= 0 && a <= 255) && (b >= 0 && b <= 255) && (c >= 0 && c <= 255) &&
                (d >= 0 && d <= 255) ) {

            printf("Yes!\n");
        } else
            printf("No!\n");
    }



    return 0;
}