function splash()
	{
	document.getElementById("login_layer").style.display = "block";
	}

function splash_out(i)
	{
	if (i == 1)
		{
		document.getElementById("login_layer").style.display = "none";
		}
	}