function banner_hostdomain()
	{
	   document.getElementById('banner_hostdomain').style.display = '';
	   document.getElementById('banner_bitstone').style.display = 'none';
	   setTimeout("banner_bitstone()",8250);
    }

function banner_bitstone()
{
	document.getElementById('banner_hostdomain').style.display = 'none';
	document.getElementById('banner_bitstone').style.display = '';
	setTimeout("banner_hostdomain()",8250);
}