#include <stdio.h>

int main() {
	char str[21];
	scanf("%20[a-z]", str);
	printf("%10.8s\n", str);
	return 0;
}