function hide(x) {
	document.getElementById(x).style.display='none';
}
function show(x) {
	document.getElementById(x).style.display='';
}
function show_hide(x) {
	if (document.getElementById(x).style.display == 'none'){
	show(x);
	} else {
	hide(x);
	}
}