#define right_width 13
#define right_height 13
static unsigned char right_bits[] = {
   0x40, 0x00, 0xc0, 0x00, 0xc0, 0x01, 0xc0, 0x03, 0xc0, 0x07, 0xff, 0x0f,
   0xff, 0x1f, 0xff, 0x0f, 0xc0, 0x07, 0xc0, 0x03, 0xc0, 0x01, 0xc0, 0x00,
   0x40, 0x00};
