#include <stdio.h>
int main()
{ int a1;
  int a2;
 scanf("%d",&a1);
 scanf("%d",&a2);
 printf("%1-7d %8d",a1,a2);
 return 0;
}