#include<stdio.h>
#include<string.h>
char arr[51];
char b[]={'~','!','@','#','$','%','^'};
int isChar(char a){
	int c=0;
	for(int i=0;i<7;i++){
		if(a==b[i]) c=1;
	}
	return c;
} 

int main(){
	int sum;
	while(gets(arr)){
		int flag1=0;//大写字母标志
		int flag2=0;//小写字母标志
		int flag3=0;//数字标志
		int flag4=0;//特殊字符标志
		 
		int len=strlen(arr);
		if(len<8){
			printf("No\n");
		}else{
			for(int i=0;i<len;i++){
				if(arr[i]>='A'&&arr[i]<='Z') flag1=1;
				if(arr[i]>='a'&&arr[i]<='z') flag2=1;
				if(arr[i]>='0'&&arr[i]<='9') flag3=1;
				 //判断是否是特殊字符 
				if(isChar(arr[i]))  flag4=1;
			}
			
		}
		//printf("%d %d %d %d\n",flag1,flag2,flag3,flag4);
		sum=flag1+flag2+flag3+flag4;
		if(sum>=3){
			printf("YES\n");
		}else{
			printf("NO\n");
		}
         
	}
	return 0;
}