function swap(idname1, imagesrc1, imagename)
{
	document.getElementById(idname1).src = imagesrc1;
	document.getElementById(idname1).alt = imagename;
}

function splash_close()
{
	document.getElementById("splash").style.display = "none";
}