function changepic(bigpic)
{
	var setbg=document.getElementById("setbg")
	setbg.setAttribute("src",bigpic)
	}