function vis(id) {
  if (document.getElementById)
    document.getElementById(id).style.backgroundColor = "#0005b7";
    document.getElementById(id).style.color = "darkorange";
    document.getElementById(id).style.border = "1px darkgreen solid";        
}
function unvis(id) {
  if (document.getElementById)
    document.getElementById(id).style.backgroundColor = "#0000E6";  
    document.getElementById(id).style.color = "yellow";
    document.getElementById(id).style.border = "1px #0000E6 solid";    
}