var base = "";
var locPath = this.location.pathname;

if (this.location.protocol=="file:") {
	var base = "file:///HAL2000/michael/public_html";
	locPath = this.location.href.substring(base.length, locPath.length+7);
}

names= new Array(
	"ARCHIV",
	"summer 1999",
	"summer 2000",
	"autumn 2000");

locations= new Array(
	"/archiv/index.html",
	"/archiv/balkon/summer1999.html",
	"/archiv/balkon/summer2000.html",
	"/archiv/balkon/index.html");

function writeNav() {
	document.write("<DIV CLASS='nav'>");
	for(n=0; n < names.length; n++) {
		if(locPath==locations[n])
			document.write("<SPAN CLASS='active'>");
		else
			document.write("<A HREF='" + base + locations[n] +"' TARGET='_top'>");
		document.write(names[n]);
		if(locPath==locations[n])
			document.write("</SPAN>");
		else
			document.write("</A>");
		if (n != names.length-1) document.write(" | ");		
	}
	document.write("</DIV>");
}