
function makeStatic() {
if (document.all) {document.getElementById('leftnavigation').style.pixelTop=document.body.scrollTop+148}
else {eval(document.getElementById('leftnavigation').top=eval(window.pageYOffset+15));}
setTimeout("makeStatic()",0);}

     function active(theTable) {
        theTable.style.backgroundColor = '#dc143c';
      }

      function inactive(theTable) {
        theTable.style.backgroundColor = '';
      }
