#include <stdio.h>

int main(void) {
	int i;
	char s[100];
	scanf("%s",s);
	printf("%s\n  -> ",s);
	//ここを編集する
	//何行になってもよいです
	//
	printf("%s\n",s);
	return 0;
}