function setStyle(x)
{
document.getElementById(x).style.borderColor="#517722"
}
function setStyle2(x)
{
document.getElementById(x).style.borderColor="#CBC8BF"
}