#include <io.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

void main(void)
{
	char s[255];
	int i;
	int count=0;

	while (!eof(fileno(stdin))) {
		i=0;
		while ( (s[i++]=getc(stdin))!='\n' );
		s[i]=0;

		if (s[0]=='\n') {
			count++;
		} else {
			if ( strstr(s, "          Page")!=NULL ) {
				printf("%c", 12 );
				printf( "%s", s );
				count=0;
			} else {
				if (count) {
					/* False alarm; not EOP */
					for (i=0; i<count; i++)
						printf( "\n" );
					count=0;
				}
				printf( "%s", s );

			}
		}
	}
}