<!--

function highlight(elm)
	{
	// elm.style.border = "solid 1px crimson";
	elm.style.border = "dotted 1px #365397";
	elm.style.color = "#000000";
	}

function unhighlight(elm)
	{
	elm.style.border = 'solid 1px #7F9DB9';
	}

// -->