#define downMask_width 16
#define downMask_height 16
#define downMask_x_hot 7
#define downMask_y_hot 15
static short downMask_bits[] = {
   0x7fff, 0x7fff, 0x7fff, 0x7fff,
   0x7fff, 0x7fff, 0x07f0, 0x07f0,
   0x3ffe, 0x3ffe, 0x3ffe, 0x1ffc,
   0x0ff8, 0x07f0, 0x03e0, 0x01c0};
