<?php ob_start("ob_gzhandler"); ?>  

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