if(top.frames.length > 0) top.location.href = self.location;

weg1 = new Image(); 
weg1.src = "grafik/weg1.gif";
weg2 = new Image(); 
weg2.src = "grafik/weg2.gif";

rein1 = new Image(); 
rein1.src = "grafik/rein1.gif";
rein2 = new Image(); 
rein2.src = "grafik/rein2.gif";

function changePic(picNum, picObj)
{
	window.document.images[picNum].src = picObj.src;
}

