// From https://paul-lockett.co.uk/randombackground.html

function backgr() {
    var backimg = [
      "./assets/bgs/256COLOR.BMP",
      "./assets/bgs/BlackThatch.bmp",
      "./assets/bgs/Clouds.bmp"
      // "pix/bg3.webp",
      // "pix/bg4.webp",
      // "pix/bg5.webp",
      // "pix/bg6.webp",
      // "pix/bg7.webp",
      // "pix/bg8.webp",
      // "pix/bg9.webp",
      // "pix/bg10.webp",
      // "pix/bg11.webp",
      // "pix/bg12.webp",
      // "pix/bg13.webp",
      // "pix/bg14.webp",
      // "pix/bg15.webp",
    ];
    var randimg = Math.floor(Math.random() * 3);
    document.body.background = backimg[randimg];
    // document.body.
  }
  