/*+JMJ
 * cat - print stdin to stdout
 * Copyright 2011 David Meyer <papa@twenex.org>
 */

#include <stdio.h>

int main()
{
	char buffer[10];
	char buf2[5] = "....";

	while (fgets(buffer, 10, stdin) != NULL)
	/*
	while (fscanf(stdin, "%s", buffer) == 1)
	*/
	{
/*
		fputs(buffer, stdout);
*/
	  printf("/%d/%s/%s/\n", (int) buffer[9], buffer, buf2);
	}
	return 0;
}