// JavaScript Document
//'nav' is name of div with links in it


window.onload=function()
{
        leftcolumnheightchange();
}

function roll_over(img_name, img_src)
   {
   document[img_name].src = img_src;
   }
   
function roll(img_name, img_src)
   {
   document[img_name].src = img_src;
   }

function leftcolumnheightchange()
{
      var leftcol = document.getElementById('leftcol');
      var narleftcol = document.getElementById('leftcolnarrow');

      if(leftcol.offsetHeight != narleftcol.offsetHeight)
            {
                 narleftcol.style.height = leftcol.offsetHeight + 'px';
            }

}