#define char31_width 7
#define char31_height 8
static char char31_bits[] = {0x10, 0x30, 0x10, 0x10, 0x10, 0x10, 0x38, 0x0};