function activateButton(myButton){
	otherButton = (myButton == 'startbutton')?'stopbutton':'startbutton';
	elem = document.getElementById(myButton);
	elem.style.color = '#7595f2';
	elem.style.textDecoration = 'underline';
	elem = document.getElementById(otherButton);
	elem.style.color = '#000';
	elem.style.textDecoration = 'none';
}