function make_CSS_URL(filename)
{
	return "url(" + filename + ")";
}

function setBodyBackground(filenameBackground)
{
	document.body.style.backgroundImage = make_CSS_URL(filenameBackground);
}

function switchBodyBackground(filenameBackground)
{
	setBodyBackground("");
	setBodyBackground(filenameBackground);
}