function mouseover(name)
{
	name.style.borderColor = '#999999';
}

function mouseout(name)
{
	name.style.borderColor = '#CCCCCC';
}