function openWin(page,width,height) {
	OpenWin = this.open(page, "NewWindow", "toolbar=no,menubar=no,location=no,scrollbars=yes,resizable=yes,width=" + width + ",height=" + height);
	OpenWin.focus();
}

function updateNav() {
	nav = document.getElementById("navcolumn").getElementsByTagName("a");
	i = 0;
	while(nav[i]) {
		if (nav[i].toString() == document.location.toString()) {
			nav[i].appendChild(document.createTextNode(" <<"));
		}
		i++;
	}

}