#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char* convertToBase7(int num) {
    if (num == 0) {
        char* result = malloc(2);
        strcpy(result, "0");
        return result;
    }
    
    int negative = num < 0;
    num = abs(num);
    int digits[32];
    int count = 0;
    
    while (num > 0) {
        digits[count++] = num % 7;
        num /= 7;
    }
    
    char* result = malloc(count + negative + 1);
    int j = 0;
    
    if (negative) {
        result[j++] = '-';
    }
    
    for (int i = count - 1; i >= 0; i--) {
        result[j++] = '0' + digits[i];
    }
    result[j] = '\0';
    
    return result;
}

int main() {
    int num;
    scanf("%d", &num);
    char* result = convertToBase7(num);
    printf("%s\n", result);
    free(result);
    return 0;
}