#include <stdio.h>
#include <string.h>
int isNumber(char *str) {
    int i = 0;
    while (str[i]) {
        if (!(str[i] >= '0' && str[i] <= '9')) return 0;
        i++;
    }
    return 1;
}
int main(void) {
    char input[100][100];
    int n = 0;
    while (1) {
        fgets(input[n], sizeof(input[n]), stdin);
        input[n][strcspn(input[n], "\n")] = '\0'; 
        if (strcmp(input[n], "stop") == 0) break;
        n++;
    }
    for (int i = 0; i < n; i++) {
        if (isNumber(input[i])) printf("print(%s)\n", input[i]);
        else printf("print(\"%s\")\n", input[i]);
    }
    return 0;
}