normalext_link = new Image();
normalext_link.src = "./images/IMKM_ext_link.gif";
hoverext_link = new Image();
hoverext_link.src = "./images/IMKM_ext_link_INV.gif";
ext_link = new Array(normalext_link, hoverext_link, 1);


function swap(ImgObj)
	{
		window.status="";
		ImgObj.src = ext_link[ext_link[2]].src;
		ext_link[2]++;
		ext_link[2] %= 2;
	}

function loadFrame(Adresse)
	{
		if(!parent.content_frame || !parent.submenu_frame)
			{
				location.href = Adresse + ".html?" + location.pathname;
			}
	}