function setCurrent( theId ) {
	if ( document.getElementById( 'nav' + theId ) ) {
		document.getElementById( 'nav' + theId ).id = 'current';
	}
}