function banner() {
	if (document.getElementById('code').style.display != "block") {
		document.getElementById('code').style.display ='block';
	} else {
		document.getElementById('code').style.display ='none';
	}
}