function onhead(val) {
   var txt = document.getElementById("tophead");
   txt.innerHTML=(val);
   }
function ontext(val) {
   var txt = document.getElementById("toptext");
   txt.innerHTML=(val);
   }
function onimg(val) {
  document.menuimg.src = val;
  }

var img1, img2, img3, img4, img5, img6;
img1 = new Image();
img1.src = "../images/engineering.jpg";
img2 = new Image();
img2.src = "../images/products.jpg";
img3 = new Image();
img3.src = "../images/development.jpg";
img4 = new Image();
img4.src = "../images/production.jpg";
img5 = new Image();
img5.src = "../images/sponsoring.jpg";
img6 = new Image();
img6.src = "../images/info.jpg";