function setActive() {
  aObj = document.getElementById('NavigationHolder').getElementsByTagName('a');
  for(i=0;i<aObj.length;i++) {
	if(document.location.href.indexOf(aObj[i].href)>=0) {
	  aObj[i].className='active';
	}
  }
}

function changePosition(num)
{
if (num==1){var posx=-0}
if (num==2){var posx=-299}
if (num==3){var posx=-600}
if (num==4){var posx=-900}
if (num==5){var posx=-1003}
if (num==6){var posx=-1253}
if (num==7){var posx=-1502}
if (num==8){var posx=-2}
document.getElementById('NavigationPanel').style.backgroundPosition=""+posx+"px -22px";
}