var defaultNum;
function show(num){
	if (defaultNum)
	{
		document.getElementById("topmenu"+defaultNum).style.display="none";	
	}
	document.getElementById("topmenu"+num).style.display="block";	
}
function hide(num){
	document.getElementById("topmenu"+num).style.display="none";	
	if (defaultNum)
	{
		document.getElementById("topmenu"+defaultNum).style.display="block";	
	}
}
function setDefaultMenu(num) {
	show(num);
	defaultNum = num;
}