{
          ctx.fillStyle = FillStyles[ pix[x][y] ];
          /*
          if (clickX == x && clickY == y ) {
            ctx.fillRect(5 + 12*x, 5 + 12*y, 12, 12);
          } else {
            ctx.fillRect(7 + 12*x, 7 + 12*y, 8, 8);
          }
          */
          ctx.fillRect(6 + 12*x, 6 + 12*y, 10, 10);
          if (clickX == x && clickY == y ) {
            ctx.fillStyle = "rgb(0 0 0)";
            ctx.fillRect(8 + 12*x, 8 + 12*y, 6, 6); // black box within
          }
    }
  }

  ctx.fillStyle =