function overNav(id) {
	document.getElementById('nav' + id).className = 'over';
}
function outNav(id) {
	document.getElementById('nav' + id).className = '';
}