/* XPM */
static char*xpm[]={
"12 12 4 1",
"b c #808080",
"# c #000000",
". c #010101",
"a c #ffffff",
"............",
"...######...",
"..########..",
".####ab####.",
".###ab#####.",
".##ab#a####.",
".##aaaaa###.",
".#####a####.",
".#####a####.",
".#####a####.",
"..########..",
"...######..."};