function DoGroupNumberMouseOver(thisElement, thisElementIndex)
{
	thisElement.style.background = "#EEE92E";
	thisElement.style.border = "2px #999999 outset";
	thisElement.style.padding = "0px 3px 0px 3px";
}
function DoGroupNumberMouseDown(thisElement)
{
	thisElement.style.background = "#EEE92E";
	thisElement.style.border = "2px #CCCCCC inset";
	thisElement.style.padding = "0px 3px 0px 3px";
}
function DoGroupNumberMouseOut(thisElement, thisElementIndex)
{
	thisElement.style.background = "#E6E6E6";
	thisElement.style.border = "1px #666666 solid";
	thisElement.style.padding = "1px 4px 1px 4px";
}