function mark_link(link_id, theclass){
	if(document.getElementById(link_id)){
		document.getElementById(link_id).className = theclass;
	}

}