document.getElementById('copyright').style.visibility = 'hidden';

function show_copyright() {
	document.getElementById('copyright').style.visibility = 'visible';
}

function hide_copyright() {
	document.getElementById('copyright').style.visibility = 'hidden';
}