function set_box_on(t)
{
	t.style.backgroundColor="#417A19"
	t.style.color="#FFFFFF"
	t.style.borderStyle="";
}

function set_box_off(t)
{
	t.style.backgroundColor="";
	t.style.color=""
	t.style.borderStyle="";
}