// JavaScript Document

Menu1 = new Image(); 
Menu1.src = "images/produktinfo.gif";
MenuHigh1 = new Image(); 
MenuHigh1.src = "images/produktinfo-down.gif"; 
Menu2 = new Image(); 
Menu2.src = "images/downloads.gif";
MenuHigh2 = new Image(); 
MenuHigh2.src = "images/downloads-down.gif"; 
Menu3 = new Image(); 
Menu3.src = "images/serviceleistungen.gif";
MenuHigh3 = new Image(); 
MenuHigh3.src = "images/serviceleistungen-down.gif"; 
Menu4 = new Image(); 
Menu4.src = "images/kontakt.gif";
MenuHigh4 = new Image(); 
MenuHigh4.src = "images/kontakt-down.gif"; 


function Bildwechsel(Bildnr,Bildobjekt) {

	window.document.images[Bildnr].src = Bildobjekt.src;

}