function highlight(id)

{

document.getElementById(id).style.color = "#22334b";

}



function Nohighlight(id)

{

document.getElementById(id).style.color = "#6c7e80";

}