function setState(tabNum) {
 	 document.getElementById
	   ('tab'+tabNum).style.backgroundColor =
	   '#22437f';	//nice blue color
	 document.getElementById
	   ('tab'+tabNum).style.color = 'white';
}


function hover(tab) {
  tab.style.backgroundColor = '#22437f';
  //tab.style.backgroundColor = 'black';
  //tab.style.color = "#F47300";
  tab.style.color = "#F47300";
}