function gen_navbar() {
	var links = new Array (
		"/index.html", "Home",
		"/sa/index.html", "Source Archives",
		"/info/index.html", "Stuff",
		"/links.html", "Links",
		"/pages.html", "Time Wasting Links",
		"/personal.html", "Personal"
	);
	var currentDoc = document.location.pathname;

	document.write("<table width=\"100%\"><tr><td><a href=\"/\"><img src=\"/images/toastmirror.jpg\"></a></td><td width=\"20\">&nbsp;</td><td valign=top>");
	document.write("<p class=\"title\"><a href=\"/\" style=\"text-decoration: none;\">Tony Aiuto</a></p>");
	document.write("<p><br/>");
	for(link = 0; link < links.length; link++)  {
		var l = links[link];
		link += 1;
		if(link > 1) document.write(" | ");
		if(l == currentDoc) {
			document.write("<b>");
			document.write(links[link]);
			document.write("</b>");
		} else {
			document.write("<a href=");
			document.write(l);
			document.write(" target=\"_self\">");
			document.write(links[link]);
			document.write("</a>");
		}
	}
	document.write("</p>");
	document.write("</td></tr></table>");
}
gen_navbar();