#include<stdio.h>

int main(void){
	
	int i;
	char s[100];
	
	scanf("%s", s);
	i = 0;
	while(s[i] == '9'){
		i++;
		
	}
	if(s[i] == '\0'){
		printf("Yes\n");
	}
	else{
		printf("No\n");
	}

	return 0;
}