function navChangeImage(nav){
	var dir = 'buttons';
	var navElement = document.getElementById(nav);
	navElement.src = dir+'/'+nav+'2.jpg';
}