#include <stdio.h>

int main( int argc, char *argv[] ) {
	printf("Echo: %s\n", argv[1]);
	return 0;
}