// array für preload-images
img = new Array("u1", "u2", "u3", "u4", "u5", "u6");


// preload der images
if (document.images) {
	for (var i=0;i<img.length;i++) {
	eval(img[i]+"0=new Image()");
	eval(img[i]+"0.src='images/dot-menu0.gif'");
	eval(img[i]+"1=new Image()");
	eval(img[i]+"1.src='images/dot-menu1.gif'"); }
}



// ersetzen von images
function ovr(bild)
	{
	if (document.images)
	document.images[bild].src = 'images/dot-menu1.gif';
	}

function out(bild)
	{
	if (document.images)
	document.images[bild].src = 'images/dot-menu0.gif';
	}