/* DWF 1998-11-24 */
#include <stdio.h>
main() {
  char buf[10000];
  while (gets (buf))
    printf ("%s\r\n", buf);
  printf ("\032");
  exit (0);
}