function ChangeTRColour(tr)

{

 document.getElementById(tr).style.backgroundColor="#C7C7C7";

}

function RestoreTRColour(tr)

{

 document.getElementById(tr).style.backgroundColor="#ccdb88";

}