/* Set which page I'm on. */

function select(which) {
	navitem = document.getElementById(which);
	// diff browsers, diff tricks...
	navitem.setAttribute("className","selected");
	navitem.setAttribute("class","selected");
	navitem.className = "selected";
}