/*
 *	$Source$
 *	$Author$
 *	$Header$
 */

#ifndef lint
static char *rcsid_filt1_c = "$Header$";
#endif lint

#include <stdio.h>
#include <strings.h>
#include <ctype.h>

main(argc, argv)
{
	char	buf[1024];
	register char	*cp;

	while (1) {
		if (!fgets(buf, sizeof(buf), stdin))
			break;
		buf[strlen(buf)-1] = '\0';
		if (buf[0] == '\037') {
			cp = index(buf, ':') + 1;
			while(*cp && !isspace(*cp)) cp++;
			while(*cp && isspace(*cp)) cp++;
			fputs(cp, stdout);
		}
		else if (buf[0] == '\0')
			putchar((char) '\n');
		else
			fputs(buf, stdout);
	}
}