#include <stdio.h>


#define MAX_PRIME	(300000)

int prime[MAX_PRIME + 1];

void make_prime(void)
{
    int i;
    int j;
    int n;
    int c;
    
    for (i = 1; i <= MAX_PRIME / 7; i++){
        if (prime[i * 7 - 1] == 0){
            for (j = (i * 7 - 1) * 2; j <= MAX_PRIME; j += (i * 7 - 1)){
				prime[j] = 1;
//printf("<%d>", j);
            }
        }
        if (prime[i * 7 + 1] == 0){
            for (j = (i * 7 + 1) * 2; j <= MAX_PRIME; j += (i * 7 + 1)){
				prime[j] = 1;
//printf("[%d]", j);
            }
        }
    }
}


int main(void)
{
    int n;
    int i;
    
    make_prime();
    
    while (1){
        scanf("%d", &n);
        if (n == 0){
            break;
        }
        
        printf("%d:", n);
        
        i = 7;
        while (n > i){
            if (prime[i - 1] == 0){
                if (n % (i - 1) == 0){
                    printf(" %d", i - 1);
                }
            }
            if (prime[i + 1] == 0){
                if (n % (i + 1) == 0){
                    printf(" %d", i + 1);
                }
            }
            i += 7;
        }
        printf("\n");
    }
    return (0);
}