logonf=new Image(); logonf.src = "fileadmin/company/images/logonf.gif"; 
logok1=new Image(); logok1.src = "fileadmin/company/images/logok1.gif"; 
logohk=new Image(); logohk.src = "fileadmin/company/images/logohk.gif"; 

function wechseldich(bild,bildobjekt)
{
	window.document.images[bild].src = bildobjekt.src;
}