/* XPM */
static char*xpm[]={
"12 12 3 1",
"# c #000000",
". c #010101",
"a c #ffffff",
"............",
"...######...",
"..########..",
".###aaaa###.",
".###a######.",
".###a######.",
".###aaa####.",
".###a######.",
".###a######.",
".###a######.",
"..########..",
"...######..."};