function header_ButtonNorm(obj)
{
	obj.className="headerButton";
}

function header_ButtonHot(obj)
{
	obj.className="headerButtonHot";
}

function header_ButtonDown(obj)
{
	obj.className="headerButtonPushed";
}

function header_go(addr)
{
	window.navigate(addr);
}