function on(imgname)
{
	if (document.images)
        document[imgname].src = eval(imgname + "_on.src");
}

function off(imgname)
{
	if (document.images)
	document[imgname].src = eval(imgname + "_off.src");
}

if (document.images)
{

var informationen_off = new Image();
informationen_off.src = "../pic/nav/informationen_off.gif";
var produkte_off = new Image();
produkte_off.src = "../pic/nav/produkte_off.gif";
var demos_off = new Image();
demos_off.src = "../pic/nav/demos_off.gif";


var informationen_on = new Image();
informationen_on.src = "../pic/nav/informationen_on.gif";
var produkte_on = new Image();
produkte_on.src = "../pic/nav/produkte_on.gif";
var demos_on = new Image();
demos_on.src = "../pic/nav/demos_on.gif";

}