function setover (theID) {
	if (document.getElementById(theID).className != 'tabactive') {
		document.getElementById('nav' + theID).className = 'navover';
	}
}

function setnormal (theID) {
	if (document.getElementById(theID).className != 'tabactive') {
	document.getElementById('nav' + theID).className = 'navnormal';
	}
}

function activate (theID) {
	document.getElementById(theID).className = 'tabactive';
	document.getElementById('nav' + theID).className = 'navactive';
}