function MenuOn(num) {
	for (i = 1; i < 5; i++) 
	{
		id2 = 'sm'+i;
		if (i == num)
		{ document.getElementById(id2).style.visibility='visible'; } else
		{ document.getElementById(id2).style.visibility='hidden'; }
	}
}

function MenuOff(num) {
/*
	if (num < 5) {
		id2 = 'sm'+num;
		document.getElementById(id2).style.visibility='hidden';
	}
        */
}