#define right_mask_width 16
#define right_mask_height 16
static char right_mask_bits[] = {
 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x24,0x00,0x7e,0x00,0xfc,
 0x00,0xf8,0x01,0xfc,0x00,0x7e,0x00,0x24,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
 0x00,0x00};
