var highlightedLinkId = "";
function highlightLink(id){
	try{document.getElementById("linkitem_"+highlightedLinkId).style.fontWeight='normal';}
	catch(e){};
	document.getElementById("linkitem_"+id).style.fontWeight='bold';
	highlightedLinkId = id;
}