#include <stdio.h>

int main(void) {
	char a[255];
	while (scanf("%s",a) != EOF){
	printf("	mv %s ICUS/\n",a);
	}
	return 0;
}
