var old_li = false;
function click_li(hf){
if(old_li && document.getElementById(old_li)) document.getElementById(old_li).style.color = '';
hf = hf.toString(); if(hf != ''){
var li = hf.substring(hf.indexOf('#')+1);
if(li != '' && li.indexOf('a') == 0){
document.getElementById(li).style.color = 'Red';
old_li = li;
}}}