function changePic(destination, source)
{
	document.getElementById(destination).src = source;
}