#include <stdio.h>

char gd_sosuu_list[300000];

void make_gd_sosuu_list(void) {
	int i,j,next;
	for(i=6,next=5;i<300000;i+=next) {
		gd_sosuu_list[i]=1;
		next=(next==5)?2:5;
	}
	for(i=6;i<300000;i++) {
		if(gd_sosuu_list[i]) {
			for(j=i+i;j<300000;j+=i)gd_sosuu_list[j]=0;
		}
	}
}

int main(void) {
	int input;
	int i;
	make_gd_sosuu_list();
	while(1) {
		scanf("%d",&input);
		if(input==1)break;
		printf("%d:",input);
		for(i=6;i<=input;i++) {
			if(input%i==0 && gd_sosuu_list[i])printf(" %d",i);
		}
		putchar('\n');
	}
	return 0;
}