#include <stdio.h>

main ()

{

  FILE *tmp;
  char c;
  int  b1, b2, i;

  i = b1 = b2 = 0;
  c = fgetc (stdin);

  while (c != EOF)
    {
      switch (b2)
	{
	case 0:
	  fputc (c, stdout);
	  break;
	case 1:
	  fputc (c, tmp);
	  break;
	}

      if (b2 == 0)
	switch (b1)
	  {
	  case 0:
	    if (c == '%')
	      b1++;
	    break;
	  case 1:
	    if (c == 'T')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 2:
	    if (c == 'r')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 3:
	    if (c == 'a')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 4:
	    if (c == 'i')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 5:
	    if (c == 'l')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 6:
	    if (c == 'e')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 7:
	    if (c == 'r')
	      b1++;
	    else
	      if (c == '%')
		b1 = 1;
	      else
		b1 = 0;
	    break;
	  case 8:
	    if (c == '\n')
	      {
		b1 = 0;
		b2 = 1;
		tmp = fopen (".TMP", "w");
	      }
	    break;
	  }

      if (b2 == 1)
	switch (b1)
	  {
	  case 0:
	    if (c == 'P')
	      b1++;
	    break;
	  case 1:
	    if (c == 'a')
	      b1++;
	    else
	      b1 = 0;
	    break;
	  case 2:
	    if (c == 'g')
	      b1++;
	    else
	      b1 = 0;
	    break;
	  case 3:
	    if (c == 'e')
	      b1++;
	    else
	      b1 = 0;
	    break;
	  case 4:
	    if (c == ':')
	      {
		++i;
		fprintf (stdout, "%%%%Page:");
		b2 = 0;
		fprintf (stderr, "[%d]", i);
		fclose (tmp);
	      }
	    else
	      b1 = 0;
	    break;
	  }

      c = fgetc (stdin);

    }

  fclose (tmp);
  tmp = fopen (".TMP", "r");

  c = fgetc (tmp);
  while (c != EOF)
    {
      fputc (c, stdout);
      c = fgetc (tmp);
    }

  fclose (tmp);

  system ("rm .TMP");

}