/* fixed and correctly sized navigiation for Internet Explorer */
function setNavTop() {
  menu = document.all.navigation
  if (document.documentElement && document.documentElement.scrollTop)
  {
    menu.style.top = document.documentElement.scrollTop;
  } else {
    menu.style.top = document.body.scrollTop;
  }
  window.setTimeout("setNavTop()", 500);
}
if(document.all)
{
  window.setTimeout("setNavTop()", 500);
}