function func(tar) {    document.getElementById(tar).style.backgroundColor = "#c0c0c0";     
                document.getElementById(tar).style.Color = "black";} 
function def(tar) {    document.getElementById(tar).style.backgroundColor = "";     
                document.getElementById(tar).style.Color = "";}//