#define dotMask_width 16
#define dotMask_height 16
#define dotMask_x_hot 7
#define dotMask_y_hot 7
static short dotMask_bits[] = {
   0x0000, 0x0000, 0x0000, 0x0000,
   0x03e0, 0x07f0, 0x07f0, 0x07f0,
   0x07f0, 0x07f0, 0x03e0, 0x0000,
   0x0000, 0x0000, 0x0000, 0x0000};
