L1 = new Image();
H1 = new Image();
L2 = new Image();
H2 = new Image();
L3 = new Image();
H3 = new Image();
L4 = new Image();
H4 = new Image();
L5 = new Image();
H5 = new Image();
L6 = new Image();
H6 = new Image();
L13 = new Image();
H13 = new Image();

L1.src = "bilder/navigation/button_l.gif";
H1.src = "bilder/navigation/button_h.gif";
L2.src = "bilder/navigation/button_l.gif";
H2.src = "bilder/navigation/button_h.gif";
L3.src = "bilder/navigation/button_l.gif";
H3.src = "bilder/navigation/button_h.gif";
L4.src = "bilder/navigation/button_l.gif";
H4.src = "bilder/navigation/button_h.gif";
L5.src = "bilder/navigation/button_l.gif";
H5.src = "bilder/navigation/button_h.gif";
L6.src = "bilder/navigation/button_l.gif";
H6.src = "bilder/navigation/button_h.gif";
L13.src = "bilder/navigation/button_l.gif";
H13.src = "bilder/navigation/button_h.gif";


function swappic(n,o) 
	{
        document.images[n].src = o.src;
		return true;
	}