function colorTd(s, n) {
   document.getElementById(s).className = n;
    }

function getURL(s) {
   location.href = s;
   }