function ActivateButton(button) {
	document.getElementById(button+'ButtonImg').src = 'images/'+button+'Button2.gif';
}

function RegularButton(button) {
	document.getElementById(button+'ButtonImg').src = 'images/'+button+'Button1.gif';
}