[ksa]

мне важно понять логику работы скрипта

Таки смотри...

var a =  document.getElementById("menu");
var b =  a.getElementsByTagName("a");
var THref = location.href;
leng = b.length
for(var i=0; i<leng; i++){
	alert(b[i].href+' и '+THref);
	if(b[i].href==THref){b[i].className='activ';}
}