function imagechanger(a)

{

	document.getElementById('footerpic').src = "images/footerpic_" + a + ".jpg";

};