function swapColor(id, style, size){
	if(size){
		document.getElementById(id).className= "colorAlt " + size;
	} else {
		document.getElementById(id).className= "colorAlt " + "size5";
	}
}
function resetColor(id, style, size){
	if(size){
		document.getElementById(id).className= style + " " + size;
	} else {
		document.getElementById(id).className= "size5 " + style;
	}
}