function h(highlight)
{
	var d = 'h' + highlight;
	var t = document.getElementById(d).style;
	t.background="#000000";
	t.borderLeft="2px solid white";
}

function f(highlight)
{
	var d = 'h' + highlight;
	var t = document.getElementById(d).style;
	t.background="";
	t.border="";
}