function redbgnd(div){
	document.getElementById(div).style.backgroundImage = "url('pictures2/gradient2.png')";
	}

function whitebgnd(div){
	document.getElementById(div).style.backgroundImage = "url('pictures2/gradient.png')";}

function make_visible(div){
	document.getElementById(div).style.visibility = "visible";}


function make_hidden(div){
	document.getElementById(div).style.visibility = "hidden";}