var hoverCount = 0;

function hover(id, hoverOver) {
	var div = document.getElementById('header-active-bg');
	hoverCount = hoverOver ? hoverCount+1 : hoverCount-1;
	div.style.display = (hoverCount && currentHeader != id) ? 'block' : 'none';
	if (hoverOver)
		div.style.left = String(14+120*(id-1)) + "px";
}