// highlight proper div
if (page_id == "p1")
{
	document.getElementById('n1').className = 'here';
}
if (page_id == "p2")
{
	document.getElementById('n2').className = 'here';
}
if (page_id == "p3")
{
	document.getElementById('n3').className = 'here';
}
if (page_id == "p4")
{
	document.getElementById('n4').className = 'here';
}
if (page_id == "p5")
{
	document.getElementById('n5').className = 'here';
}
if (page_id == "p6")
{
	document.getElementById('n6').className = 'here';
}
if (page_id == "p7")
{
	document.getElementById('n7').className = 'here';
}