#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;
}