function hide(te){
	if(te.getElementsByTagName('ul')[0])
		if(te.getElementsByTagName('ul')[0].style.visibility == 'visible')
			te.getElementsByTagName('ul')[0].style.visibility=te.getElementsByTagName('ul')[0].style.visibility.replace("visible", "hidden");
}

function show(te){
	if(te.getElementsByTagName('ul')[0])
		if(te.getElementsByTagName('ul')[0].style.visibility == 'hidden')
			te.getElementsByTagName('ul')[0].style.visibility = te.getElementsByTagName('ul')[0].style.visibility.replace("hidden", "visible");
}