function hover(imgpath, id, file) {
	document.getElementById(id).src = imgpath + file + '.png';
}

function leave(imgpath, id, file) {
	document.getElementById(id).src = imgpath + file + '_gray.png';
}