<!--

last=""

function hilite(n){

if(last==n){return}

document.getElementById(n).style.fontWeight="bold"

if(last!=""){

document.getElementById(last).style.fontWeight="normal"

}

last=n

}

// -->