function f(name)
{
	name.style.border = '#999999 1px solid';
}

function b(name)
{
	name.style.border = '#CCCCCC 1px solid';
}