function highlight(myElement)
{
	myElement.style["backgroundColor"]='#99ccff';
}
function unhighlight(myElement)
{
	myElement.style["backgroundColor"]='#003399';
}