function changeimg(img, file) {
      img.src = 'assets/Navigation/' + file + '.jpg';
    }