function portaloneover(){
	document.body.style.backgroundColor='#ff0000';
	document.getElementById('banner-block').style.backgroundColor='#ff0000';
}

function portalout(){
	document.body.style.backgroundColor='#00ffff';
	document.getElementById('banner-block').style.backgroundColor='#00ffff';
}

function portaltwoover(){
	document.body.style.backgroundColor='#ffff00';
	document.getElementById('banner-block').style.backgroundColor='#ffff00';
}

function portalthreeover(){
	document.body.style.backgroundColor='#00ff00';
	document.getElementById('banner-block').style.backgroundColor='#00ff00';
}