// JavaScript Document
changepic = function(objsrc)
{
	document.getElementById("bigpic").firstChild.src = objsrc;
}