Normal5 = new Image();
Normal5.src = "elem/oel1.gif";
Highlight5 = new Image();
Highlight5.src = "elem/oel2.gif";
Normal6 = new Image();
Normal6.src = "elem/past1.gif";
Highlight6 = new Image();
Highlight6.src = "elem/past2.gif";
Normal7 = new Image();
Normal7.src = "elem/aqua1.gif";
Highlight7 = new Image();
Highlight7.src = "elem/aqua2.gif";
Normal8 = new Image();
Normal8.src = "elem/druck1.gif";
Highlight8 = new Image();
Highlight8.src = "elem/druck2.gif";
Normal9 = new Image();
Normal9.src = "elem/misch1.gif";
Highlight9 = new Image();
Highlight9.src = "elem/misch2.gif";
Normal10 = new Image();
Normal10.src = "elem/acryl1.gif";
Highlight10 = new Image();
Highlight10.src = "elem/acryl2.gif";

function Bildwechsel1(Bildnr,Bildobjekt)
{
window.document.images[Bildnr].src = Bildobjekt.src;
}