function splash_activate()
{
	window.setTimeout("splash_display(true);", 0);
	window.setTimeout("splash_display(false);", 2000);
}

function splash_display(show)
{
	if(show) document.getElementById('splash').className = 'splash_show';
	else     document.getElementById('splash').className = 'splash_hide';
}