function swapimginit(pfad)
{
	hion = new Image();
	hion.src = pfad + "dfv_hi.png";
	hioff = new Image();
	hioff.src = pfad + "dfv.png";
}

function swapimginit2(pfad, gfxnamelow, gfxnamehi)
{
	hion = new Image();
	hion.src = pfad + gfxnamehi;
	hioff = new Image();
	hioff.src = pfad + gfxnamelow;
}

function dfvhion(bildname)
{
	window.document.images["gfx_"+bildname].src = hion.src;
}

function dfvhioff(bildname)
{
	window.document.images["gfx_"+bildname].src = hioff.src;
}