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

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

function show(x) {
	document.getElementById(x).style.display='';
}