#include <stdio.h>

int main(){
	int x;
	while(1){
		scanf("%d", &x);
		if(x == 0){
			break;
		}
		printf("%d:%s\n", x, (x%5==0&&x%7==0?"Yes":"No"));
	}

	return 0;
}