function hide(ele) {
	var list = document.getElementById(ele);
	if (list.style.height != '23px')
		list.style.height = '23px';
};
function show(ele) {
	var list = document.getElementById(ele);
	if (list.style.height != 'auto')
		list.style.height = 'auto';
};