window.onload=function() {
  var m = document.location.href.match(/&id=(\d+)/);
  if (m) {
    var id = m[1];
    var list = document.getElementsByTagName("a");
    for (var i =0; i <list.length; i++) {

      var a = list[i];
      if (a && a.href && a.href.match("&id="+id+"(&|$)")) {
	a.className = (a.className ? a.className+" " : "")+"selectedlink";
      }
    }
  }

};