#include <stdio.h>
main ( ) {
printf ("%-6s%-8i\n", "box", 4703);
}