function highlightButton(button) {
	button.src = button.src.replace('off','on');
	button.style.cursor = 'pointer';
}

function unhighlightButton(button) {
	button.src = button.src.replace('on','off');
}