var menu = new Array('m1', 'm2', 'm3', 'm4', 'm5', 'm6', 'm7');
function loadMenu(mNumber) {
	var navRoot = document.getElementById('m' + mNumber);
    for (var i = 0; i < menu.length; i++) {
        document.getElementById(menu[i]).className = '';
    }
    navRoot.className = "current";
}