<!--
function doDocumentOnMouseOver()
{
	var eSrc = window.event.srcElement
	if (eSrc.tagName == "A")
		{
		 	eSrc.style.textDecorationUnderline = 1
		}
}
function doDocumentOnMouseOut()
{
	var eSrc = window.event.srcElement
	if (eSrc.tagName == "A")
	{
		eSrc.style.textDecorationUnderline = 0
	}
}
document.onmouseover = doDocumentOnMouseOver
document.onmouseout	= doDocumentOnMouseOut
//  -->