var pathContent = "";
function addPathSeparator() {
	if (pathContent != "") {
		pathContent += "<img src=\"static/images/arrow.gif\" hspace=\"4\" align=\"absbottom\" />";
	}
}
function addPathLink(url, label) {
	addPathSeparator();
	pathContent += "<a class=\"PathMenuLink\" href=\"" + url + "\">" + label + "</a>";
}
function addPathLabel(label) {
	addPathSeparator();
	pathContent += label;
}
function updatePath() {
	$("path-content").innerHTML = pathContent;
}