Und wennschon JavaScript, das auch damit:
if (a[i].href==hier)
{
a[i].className="aktuell";
a[i].removeAttribute("href");
}
Ist auch nicht besser, ein kastrierter link ist keiner. Wenn schon JS, dann aber auch semantisch korrekt, replaceChild wäre das Mittel der Wahl.
~JJ