function onMouseOver(x)
{
	x.style.fontWeight="bold";
	x.style.cursor="pointer";
}

function onMouseOut(x)
{
	x.style.fontWeight="normal";
	x.style.cursor="normal";
}
function onMouseOverHyperlink(x)
{
	x.style.textDecoration = "underline";
	x.style.cursor="pointer";
}

function onMouseOutHyperlink(x)
{
	x.style.textDecoration = "none";
	x.style.cursor="normal";
}