#define timer_image_width 16
#define timer_image_height 16
#define timer_image_x_hot 7
#define timer_image_y_hot 7
static short timer_image_bits[] = {
   0x0000, 0x3ffc, 0x2004, 0x1048,
   0x12a8, 0x0d50, 0x06a0, 0x0340,
   0x02c0, 0x0520, 0x0890, 0x1158,
   0x1aa8, 0x3554, 0x3ffc, 0x0000};
