function hide_cur() {
	my_current = document.getElementById("current");
	my_current.getElementsByTagName("ul")[0].style.display=(my_current.getElementsByTagName("ul")[0].style.display=="none")?"block":"none";
}