// JavaScript code to set current tab by changing its class
function changeClass(e, newClass){
	var thediv = document.getElementById(e);
	thediv.className = newClass;	
}