var myvar;
function menuinit() {
        document.getElementById('m1').style.display = 'none';
        document.getElementById('m2').style.display = 'none';
        document.getElementById('m3').style.display = 'none';
}
function menuexpand (i) {
        menuinit();
        if (myvar == i) {
		document.getElementById(i).style.display = 'none';
		myvar = '';
	}
        else {
		document.getElementById(i).style.display = 'block';
		myvar = i;
	}
}