function menu() {
  var as = document.getElementsByTagName('a');
  for (var i = 0; i < as.length; ++i) {
    if ( as[i].pathname.replace(/^\//, '') == location.pathname.replace(/^\//, '') ) {
      as[i].className=as[i].className+' act';
    }
  }
}
menu();