function setCurrent(theID,theUID) {
	if (document.getElementById('nav-' + theID)) {
		document.getElementById('nav-' + theID).id = 'current';
	}
	if (document.getElementById('unav-' + theUID)) {
		document.getElementById('unav-' + theUID).className = 'current';
	}
}