function showBanner() {
	document.getElementById('banner').style.display = 'block';
}

function hideBanner() {
	document.getElementById('banner').style.display = 'none';
}