
hidden=false;
function change(flag){
	var dd = flag.getElementsByTagName("ul");
	if (hidden)
		dd[0].style.display = "block";
	else dd[0].style.display = "none";
	hidden = !hidden;
}

hidden_s=true;
function change_s(flag){
	var dd = flag.getElementsByTagName("ul");
	if (hidden_s)
		dd[0].style.display = "block";
	else dd[0].style.display = "none";
	hidden_s = !hidden_s;
}

