var ns4 = (document.layers) ? 1 : 0;
var ie4up = (document.all) ? 1 : 0;
var ns6up = (document.getElementById && !document.all) ? 1 : 0;

function show(lage1, sichtbar)
	{
	if (ie4up) document.all[lage1].style.visibility = sichtbar;
	else if (ns4) document.layers[lage1].visibility = sichtbar;
	else document.getElementById(lage1).style.visibility = sichtbar;
	}

isamap = new Object();
isamap[0] = "_df";
isamap[1] = "_ov";

function isimgact(id, act, statustext)
	{
	if(document.images) document.images[id].src = eval( "isimages." + id + isamap[act] + ".src");
	window.status = statustext;
	}

if (document.images)
	{
	isimages = new Object();
	isimages.nav01_df = new Image();
	isimages.nav01_df.src = "images/nav01.gif";
	isimages.nav01_ov = new Image();
	isimages.nav01_ov.src = "images/nav01_over.gif";
	isimages.nav02_df = new Image();
	isimages.nav02_df.src = "images/nav02.gif";
	isimages.nav02_ov = new Image();
	isimages.nav02_ov.src = "images/nav02_over.gif";
	isimages.nav03_df = new Image();
	isimages.nav03_df.src = "images/nav03.gif";
	isimages.nav03_ov = new Image();
	isimages.nav03_ov.src = "images/nav03_over.gif";
	isimages.nav04_df = new Image();
	isimages.nav04_df.src = "images/nav04.gif";
	isimages.nav04_ov = new Image();
	isimages.nav04_ov.src = "images/nav04_over.gif";
	isimages.nav05_df = new Image();
	isimages.nav05_df.src = "images/nav05.gif";
	isimages.nav05_ov = new Image();
	isimages.nav05_ov.src = "images/nav05_over.gif";
	isimages.nav06_df = new Image();
	isimages.nav06_df.src = "images/nav06.gif";
	isimages.nav06_ov = new Image();
	isimages.nav06_ov.src = "images/nav06_over.gif";
	isimages.nav11_df = new Image();
	isimages.nav11_df.src = "images/nav11.gif";
	isimages.nav11_ov = new Image();
	isimages.nav11_ov.src = "images/nav11_over.gif";
	isimages.nav12_df = new Image();
	isimages.nav12_df.src = "images/nav12.gif";
	isimages.nav12_ov = new Image();
	isimages.nav12_ov.src = "images/nav12_over.gif";
	isimages.nav13_df = new Image();
	isimages.nav13_df.src = "images/nav13.gif";
	isimages.nav13_ov = new Image();
	isimages.nav13_ov.src = "images/nav13_over.gif";
	isimages.nav14_df = new Image();
	isimages.nav14_df.src = "images/nav14.gif";
	isimages.nav14_ov = new Image();
	isimages.nav14_ov.src = "images/nav14_over.gif";
	isimages.nav15_df = new Image();
	isimages.nav15_df.src = "images/nav15.gif";
	isimages.nav15_ov = new Image();
	isimages.nav15_ov.src = "images/nav15_over.gif";
	}