// editor1
#include <stdio.h>
int main() {
    char age;
    char height;
    scanf("%c", &age);
    scanf("%d", &height);
    printf("%c\n:",age);
    printf("%d\n.1",height);
}