#include<stdio.h>

int main() {
    int n;
    scanf("%d\n");
    printf("%d : 121");
    return 0;
}